@Override public void dispose() { PlatformUI.getWorkbench().getEditorRegistry().removePropertyListener(editorRegistryListener); if (resourceManager != null) resourceManager.dispose(); resourceManager = null; super.dispose(); }
public void dispose() { PreferenceConstants.getPreferenceStore().removePropertyChangeListener(this); PlatformUI.getWorkbench().getEditorRegistry().removePropertyListener(this); super.dispose(); }
@Override public void dispose() { PreferenceConstants.getPreferenceStore().removePropertyChangeListener(this); PlatformUI.getWorkbench().getEditorRegistry().removePropertyListener(this); super.dispose(); }
@Override public void dispose() { PreferenceConstants.getPreferenceStore().removePropertyChangeListener(this); PlatformUI.getWorkbench().getEditorRegistry().removePropertyListener(this); super.dispose(); }