import org.eclipse.swt.events.DisposeEvent;
import org.eclipse.swt.events.DisposeListener;
import org.eclipse.swt.graphics.Font;
-//import net.sourceforge.phpdt.ui.text.JavaSourceViewerConfiguration;
/**
* Handles Java editor font changes for Java source preview viewers.
* @since 3.0
*/
class JavaSourcePreviewerUpdater {
-
+
/**
- * Creates a Java source preview updater for the given viewer, configuration and preference store.
- *
- * @param viewer the viewer
- * @param configuration the configuration
- * @param preferenceStore the preference store
+ * Creates a Java source preview updater for the given viewer, configuration
+ * and preference store.
+ *
+ * @param viewer
+ * the viewer
+ * @param configuration
+ * the configuration
+ * @param preferenceStore
+ * the preference store
*/
- JavaSourcePreviewerUpdater(final SourceViewer viewer, final PHPSourceViewerConfiguration configuration, final IPreferenceStore preferenceStore) {
+ JavaSourcePreviewerUpdater(final SourceViewer viewer,
+ final PHPSourceViewerConfiguration configuration,
+ final IPreferenceStore preferenceStore) {
Assert.isNotNull(viewer);
Assert.isNotNull(configuration);
Assert.isNotNull(preferenceStore);
- final IPropertyChangeListener fontChangeListener= new IPropertyChangeListener() {
+ final IPropertyChangeListener fontChangeListener = new IPropertyChangeListener() {
/*
* @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)
*/
public void propertyChange(PropertyChangeEvent event) {
- if (event.getProperty().equals(PreferenceConstants.EDITOR_TEXT_FONT)) {
- Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT);
+ if (event.getProperty().equals(
+ PreferenceConstants.EDITOR_TEXT_FONT)) {
+ Font font = JFaceResources
+ .getFont(PreferenceConstants.EDITOR_TEXT_FONT);
viewer.getTextWidget().setFont(font);
}
}
};
- final IPropertyChangeListener propertyChangeListener= new IPropertyChangeListener() {
+ final IPropertyChangeListener propertyChangeListener = new IPropertyChangeListener() {
/*
* @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)
*/
* @see org.eclipse.swt.events.DisposeListener#widgetDisposed(org.eclipse.swt.events.DisposeEvent)
*/
public void widgetDisposed(DisposeEvent e) {
- preferenceStore.removePropertyChangeListener(propertyChangeListener);
- JFaceResources.getFontRegistry().removeListener(fontChangeListener);
+ preferenceStore
+ .removePropertyChangeListener(propertyChangeListener);
+ JFaceResources.getFontRegistry().removeListener(
+ fontChangeListener);
}
});
JFaceResources.getFontRegistry().addListener(fontChangeListener);