fTextTools.getPreferenceStore().removePropertyChangeListener(propertyListener);
fPreferenceStore.removePropertyChangeListener(propertyListener);
				public void widgetDisposed(DisposeEvent e) {					JFaceResources.getFontRegistry().removeListener(fontListener);					fTextTools.getPreferenceStore().removePropertyChangeListener(propertyListener);				}