@Override protected void detachListener() { store.removePropertyChangeListener(listener); }
public synchronized void shutdown() { fPref.removePropertyChangeListener(this); }
/** */ public void release() { if(!fDoc2AdapterMap.isEmpty()) { Object[] docs = fDoc2AdapterMap.keySet().toArray(); DocumentTypeAdapter adapter = null; for (int i = 0; i < docs.length; i++) { adapter = (DocumentTypeAdapter)fDoc2AdapterMap.get(docs[i]); adapter.release(); ((IDOMDocument)docs[i]).removeAdapter(adapter); } fDoc2AdapterMap.clear(); } // https://bugs.eclipse.org/bugs/show_bug.cgi?id=95960 if (this.preferences != null) { this.preferences.removePropertyChangeListener(this); } }
/** * Disposes this encoding support. */ public void dispose() { Preferences p= ResourcesPlugin.getPlugin().getPluginPreferences(); p.removePropertyChangeListener(fPropertyChangeListener); fTextEditor= null; }
@Override public synchronized void unload() { JavaPlugin.getJavaCorePluginPreferences().removePropertyChangeListener(this); super.unload(); }
@Override public void removePropertyChangeListener(IPropertyChangeListener listener) { fListeners.remove(listener); if (fListeners.size() == 0) fPreferences.removePropertyChangeListener(fListener); }
@Override public synchronized void unload() { JavaPlugin.getJavaCorePluginPreferences().removePropertyChangeListener(this); super.unload(); }
@Override public void removePropertyChangeListener(IPropertyChangeListener listener) { fListeners.remove(listener); if (fListeners.size() == 0) fPreferences.removePropertyChangeListener(fListener); }
/** * {@inheritDoc} */ public void removePropertyChangeListener(IPropertyChangeListener listener) { fListeners.remove(listener); if (fListeners.size() == 0) fPreferences.removePropertyChangeListener(fListener); }
public void dispose() { JDIDebugPlugin.getDefault().getPluginPreferences().removePropertyChangeListener(this); }
@Override public void shutdown(IProgressMonitor monitor) throws CoreException { if (_historyStore != null) _historyStore.shutdown(monitor); ResourcesPlugin.getPlugin().getPluginPreferences().removePropertyChangeListener(this); }
public synchronized void unload() { final Plugin plugin= JavaCore.getPlugin(); if (plugin != null) plugin.getPluginPreferences().removePropertyChangeListener(this); super.unload(); }
@Override public void shutdown(IProgressMonitor monitor) throws CoreException { if (_historyStore != null) _historyStore.shutdown(monitor); ResourcesPlugin.getPlugin().getPluginPreferences().removePropertyChangeListener(this); }
@Override public void shutdown(IProgressMonitor monitor) throws CoreException { if (_historyStore != null) _historyStore.shutdown(monitor); ResourcesPlugin.getPlugin().getPluginPreferences().removePropertyChangeListener(this); }
public void shutdown() { JptCorePlugin.getPlugin().getPluginPreferences().removePropertyChangeListener(preferencesListener); JavaCore.removeElementChangedListener(elementChangeListener); ResourcesPlugin.getWorkspace().removeResourceChangeListener(resourceChangeListener); model.dispose(); }
/** * Shuts down the refresh manager. This only happens when * the resources plugin is going away. */ @Override public void shutdown(IProgressMonitor monitor) { ResourcesPlugin.getPlugin().getPluginPreferences().removePropertyChangeListener(this); if (monitors != null) { monitors.stop(); monitors = null; } if (refreshJob != null) { refreshJob.stop(); refreshJob = null; } }
/** * Shuts down the refresh manager. This only happens when * the resources plugin is going away. */ @Override public void shutdown(IProgressMonitor monitor) { ResourcesPlugin.getPlugin().getPluginPreferences().removePropertyChangeListener(this); if (monitors != null) { monitors.stop(); monitors = null; } if (refreshJob != null) { refreshJob.stop(); refreshJob = null; } }
/** * Shuts down the refresh manager. This only happens when * the resources plugin is going away. */ @Override public void shutdown(IProgressMonitor monitor) { ResourcesPlugin.getPlugin().getPluginPreferences().removePropertyChangeListener(this); if (monitors != null) { monitors.stop(); monitors = null; } if (refreshJob != null) { refreshJob.stop(); refreshJob = null; } }
/** * Disposes this preferences. */ public void dispose() { BrowserCommonActivator.getDefault().getPreferenceStore().removePropertyChangeListener( this ); BrowserCorePlugin.getDefault().getPluginPreferences().removePropertyChangeListener( this ); viewer = null; }
/** * Updates the underlying plug-in preferences to the current state. */ public void updatePluginPreferences() { Preferences prefs = AntCorePlugin.getPlugin().getPluginPreferences(); prefs.removePropertyChangeListener(this); updateTasks(prefs); updateTypes(prefs); updateAntHomeEntries(prefs); updateAdditionalEntries(prefs); updateProperties(prefs); updatePropertyFiles(prefs); boolean classpathChanged= AntCorePlugin.getPlugin().getPluginPreferences().needsSaving(); AntCorePlugin.getPlugin().savePluginPreferences(); if (classpathChanged) { prefs.setValue(IAntCoreConstants.PREFERENCE_CLASSPATH_CHANGED, true); } prefs.setValue(IAntCoreConstants.PREFERENCE_CLASSPATH_CHANGED, false); prefs.addPropertyChangeListener(this); }