@Override public void dispose() { if (boldFont != null) boldFont.dispose(); super.dispose(); } }
@Override public void dispose() { if (font != null) { font.dispose(); } super.dispose(); }
public void dispose() { if(font != null) { font.dispose(); } super.dispose(); }
public void dispose() { resourceManager.dispose(); if (this.viewer != null) ResourcesPlugin.getWorkspace().removeResourceChangeListener(this); super.dispose(); }
@Override public void dispose() { SUBMODULE.dispose(); this.resourceManager.dispose(); super.dispose(); }
@Override public void dispose() { SUBMODULE.dispose(); resourceManager.dispose(); super.dispose(); } }