org.eclipse.weaver.editors
Class PalettePanel

java.lang.Object
  extended byorg.eclipse.weaver.editors.PalettePanel

public class PalettePanel
extends java.lang.Object

Default woven panel extension

Since:
1.0
Author:
- Marcos Didonet Del Fabro (LINA Labs, INRIA team)
- Guillaume Gueltas (Sodifrance)

Field Summary
protected  Composite container
           
protected  MouseListener mouseListener
           
protected  CLabel titleLabel
           
 
Constructor Summary
PalettePanel()
           
 
Method Summary
 void createControl(Composite parent)
           
 java.lang.String toString()
          Creates a title bar for the pane which includes the view icon and title to the far left protected void createTitleBar() { // Only do this once.
 void updateTitles()
          Updates the title attributes.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

container

protected Composite container

titleLabel

protected CLabel titleLabel

mouseListener

protected MouseListener mouseListener
Constructor Detail

PalettePanel

public PalettePanel()
Method Detail

createControl

public void createControl(Composite parent)

toString

public java.lang.String toString()
Creates a title bar for the pane which includes the view icon and title to the far left protected void createTitleBar() { // Only do this once. if (titleLabel == null) { // Title. titleLabel = new CLabel(viewForm, SWT.SHADOW_NONE); titleLabel.setAlignment(SWT.LEFT); titleLabel.setBackground(null, null); updateTitles(); viewForm.setTopLeft(titleLabel); titleLabel.addMouseListener(mouseListener); } } /** Maximizes the panel protected void doMaximize() { Control child = viewForm; for (Control parent = viewForm.getParent(); parent instanceof SashForm; parent = parent .getParent()) { SashForm sashForm = (SashForm) parent; if (sashForm.getMaximizedControl() == null) { sashForm.setMaximizedControl(child); } else { sashForm.setMaximizedControl(null); } child = parent; } } /* (non-Javadoc)

See Also:
public void dispose() { if ((viewForm != null) && (!viewForm.isDisposed())) { viewForm = null; } } /* (non-Javadoc), Object.toString()

updateTitles

public void updateTitles()
Updates the title attributes.