@Override
 public void dispose() {
   getStore().removePropertyChangeListener(listener);
   colorManager.dispose();
   getJBehaveProject().removeListener(projectListener);
   super.dispose();
 }
 /**
  * {@inheritDoc}
  *
  * @see org.eclipse.ui.editors.text.TextEditor#dispose()
  */
 public void dispose() {
   if (outlinePage != null) {
     outlinePage.dispose();
   }
   IPreferenceStore preferenceStore = DFEditorActivator.getDefault().getPreferenceStore();
   preferenceStore.removePropertyChangeListener(this);
   outlinePage = null;
   dfPropModel = null;
   projectionSupport = null;
   super.dispose();
 }
 @Override
 public void dispose() {
   if (fProjectionFileUpdater != null) {
     fProjectionFileUpdater.uninstall();
     fProjectionFileUpdater = null;
   }
   if (fProject != null) {
     AutotoolsPropertyManager.getDefault().removeProjectPropertyListener(fProject, this);
   }
   super.dispose();
 }
Beispiel #4
0
 public void dispose() {
   colorManager.dispose();
   super.dispose();
 }
Beispiel #5
0
 public void dispose() {
   super.dispose();
 }
 public void dispose() {
   colorManager.dispose();
   ResourcesPlugin.getWorkspace().removeResourceChangeListener(resourceChangeListener);
   super.dispose();
 }