1) Moved net.sourceforge.phpeclipse.ui\src\net\sourceforge\phpdt back to net.sourcefo...

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / preferences / JavaSourcePreviewerUpdater.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/JavaSourcePreviewerUpdater.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/JavaSourcePreviewerUpdater.java
index c462288..ef785ae 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/JavaSourcePreviewerUpdater.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/JavaSourcePreviewerUpdater.java
@@ -17,13 +17,14 @@ import net.sourceforge.phpdt.ui.text.PHPSourceViewerConfiguration;
 import org.eclipse.jface.preference.IPreferenceStore;
 import org.eclipse.jface.resource.JFaceResources;
 import org.eclipse.jface.text.source.SourceViewer;
-import org.eclipse.jface.util.Assert;
+//incastrix
+//import org.eclipse.jface.text.Assert;
+import org.eclipse.core.runtime.Assert;
 import org.eclipse.jface.util.IPropertyChangeListener;
 import org.eclipse.jface.util.PropertyChangeEvent;
 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.
@@ -31,30 +32,38 @@ import org.eclipse.swt.graphics.Font;
  * @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)
                         */
@@ -70,8 +79,10 @@ class JavaSourcePreviewerUpdater {
                         * @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);