/**
* Releases the palette viewer from the edit domain
*
* @see Page#dispose()
*/
public void dispose() {
if (provider.getEditDomain().getPaletteViewer() == viewer)
provider.getEditDomain().setPaletteViewer(null);
super.dispose();
viewer = null;
}
/**
* Creates the palette viewer and its control.
*
* @see Page#createControl(org.eclipse.swt.widgets.Composite)
*/
public void createControl(Composite parent) {
viewer = provider.createPaletteViewer(parent);
}
