improved color settings through Preference page

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / phpeditor / PHPEditor.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPEditor.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPEditor.java
index fc5da20..e1e0261 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPEditor.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPEditor.java
@@ -317,7 +317,7 @@ public class PHPEditor
    * disposal actions required by the php editor.
    */
   public void dispose() {
-    PHPEditorEnvironment.disconnect(this);
+ //   PHPEditorEnvironment.disconnect(this);
     if (fOutlinePage != null)
       fOutlinePage.setInput(null);
 
@@ -654,7 +654,7 @@ public class PHPEditor
    */
   protected void initializeEditor() {
     IPreferenceStore store = PHPeclipsePlugin.getDefault().getPreferenceStore();
-    PHPEditorEnvironment.connect(this);
+ //   PHPEditorEnvironment.connect(this);
 
     //    store.addPropertyChangeListener(new IPropertyChangeListener() {
     //      public void propertyChange(PropertyChangeEvent event) {
@@ -904,4 +904,12 @@ public class PHPEditor
     int styles) {
     return super.createSourceViewer(parent, ruler, styles);
   }
+  
+  /*
+   * @see AbstractTextEditor#affectsTextPresentation(PropertyChangeEvent)
+   */
+  protected boolean affectsTextPresentation(PropertyChangeEvent event) {
+    JavaTextTools textTools= PHPeclipsePlugin.getDefault().getJavaTextTools();
+    return textTools.affectsBehavior(event);
+  }
 }