/** Permanently dispose of this control. */ public void markForDisposal() { if (tabManager != null) tabManager.removeControl(this); super.markForDisposal(); }
/** Sets the local colour scheme for this control */ public void setLocalColorScheme(int cs) { super.setLocalColorScheme(cs); if (hsb != null) hsb.setLocalColorScheme(localColorScheme); if (vsb != null) vsb.setLocalColorScheme(localColorScheme); }