Improved handling for right mouse click menu on file in Navigator:

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / PHPeclipsePlugin.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPeclipsePlugin.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPeclipsePlugin.java
index 6ae57ad..663efec 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPeclipsePlugin.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPeclipsePlugin.java
@@ -131,6 +131,7 @@ public class PHPeclipsePlugin extends AbstractUIPlugin implements IPreferenceCon
 
   //public static final String BUILDER_INDEX_ID = PLUGIN_ID + ".indexbuilder";
   /** General debug flag */
+  
   public static final boolean DEBUG = false;
 
   /**
@@ -272,7 +273,7 @@ public class PHPeclipsePlugin extends AbstractUIPlugin implements IPreferenceCon
    * 
    * @since 3.0
    */
-  private IPropertyChangeListener fPropertyChangeListener;
+//  private IPropertyChangeListener fPropertyChangeListener;
 
   /**
    * The combined preference store.
@@ -691,7 +692,7 @@ public class PHPeclipsePlugin extends AbstractUIPlugin implements IPreferenceCon
     //        .getLocation().toString());
 
     //    store.setDefault(SHOW_EXTERNAL_PREVIEW_PREF, "true");
-    store.setDefault(USE_EXTERNAL_BROWSER_PREF, "false");
+//    store.setDefault(USE_EXTERNAL_BROWSER_PREF, "false");
     store.setDefault(SHOW_OUTPUT_IN_CONSOLE, "true");
     store.setDefault(PHP_OBFUSCATOR_DEFAULT, "c:\\temp");
     //    store.setDefault(PHP_BOOKMARK_DEFAULT, "");
@@ -702,15 +703,15 @@ public class PHPeclipsePlugin extends AbstractUIPlugin implements IPreferenceCon
 
     String windowsSystem = Platform.getWS();
     if (jvm == WINDOWS_9x) {
-      store.setDefault(EXTERNAL_BROWSER_PREF, "command.com /c start iexplore {0}");
+//      store.setDefault(EXTERNAL_BROWSER_PREF, "command.com /c start iexplore {0}");
     } else if (windowsSystem.equals(Platform.WS_WIN32)) {
-      store.setDefault(EXTERNAL_BROWSER_PREF, "rundll32 url.dll,FileProtocolHandler {0}");
+//      store.setDefault(EXTERNAL_BROWSER_PREF, "rundll32 url.dll,FileProtocolHandler {0}");
     } else if (windowsSystem.equals(Platform.WS_CARBON)) {
       // TODO How do we start Safari on Mac OS X ?
-      store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
+//      store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
     } else {
       store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp");
-      store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
+//      store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
     }
     //  if ((jvm == WINDOWS_9x) || (jvm == WINDOWS_NT)) {
     // 
@@ -1081,28 +1082,28 @@ public class PHPeclipsePlugin extends AbstractUIPlugin implements IPreferenceCon
      * Backwards compatibility: propagate the Java editor tab width from a pre-3.0 plug-in to the new preference key. This is done
      * only once.
      */
-    final String oldTabWidthKey = PreferenceConstants.EDITOR_TAB_WIDTH;
-    final String newTabWidthKey = AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH;
-    String tabWidthPropagatedKey = "tabWidthPropagated"; //$NON-NLS-1$
-    if (getPreferenceStore().contains(oldTabWidthKey) && !getPreferenceStore().isDefault(oldTabWidthKey)) {
-      if (!getPreferenceStore().getBoolean(tabWidthPropagatedKey))
-        getPreferenceStore().setValue(newTabWidthKey, getPreferenceStore().getInt(oldTabWidthKey));
-    }
-    getPreferenceStore().setValue(tabWidthPropagatedKey, true);
-
-    /*
-     * Backwards compatibility: set the Java editor tab width in this plug-in's preference store with the old key to let older
-     * versions access it. Since 3.0 the tab width is managed by the extended texteditor and uses a new key.
-     */
-    getPreferenceStore().putValue(oldTabWidthKey, getPreferenceStore().getString(newTabWidthKey));
-
-    fPropertyChangeListener = new IPropertyChangeListener() {
-      public void propertyChange(PropertyChangeEvent event) {
-        if (newTabWidthKey.equals(event.getProperty()))
-          getPreferenceStore().putValue(oldTabWidthKey, getPreferenceStore().getString(newTabWidthKey));
-      }
-    };
-    getPreferenceStore().addPropertyChangeListener(fPropertyChangeListener);
+//    final String oldTabWidthKey = PreferenceConstants.EDITOR_TAB_WIDTH;
+//    final String newTabWidthKey = AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH;
+//    String tabWidthPropagatedKey = "tabWidthPropagated"; //$NON-NLS-1$
+//    if (getPreferenceStore().contains(oldTabWidthKey) && !getPreferenceStore().isDefault(oldTabWidthKey)) {
+//      if (!getPreferenceStore().getBoolean(tabWidthPropagatedKey))
+//        getPreferenceStore().setValue(newTabWidthKey, getPreferenceStore().getInt(oldTabWidthKey));
+//    }
+//    getPreferenceStore().setValue(tabWidthPropagatedKey, true);
+//
+//    /*
+//     * Backwards compatibility: set the Java editor tab width in this plug-in's preference store with the old key to let older
+//     * versions access it. Since 3.0 the tab width is managed by the extended texteditor and uses a new key.
+//     */
+//    getPreferenceStore().putValue(oldTabWidthKey, getPreferenceStore().getString(newTabWidthKey));
+
+//    fPropertyChangeListener = new IPropertyChangeListener() {
+//      public void propertyChange(PropertyChangeEvent event) {
+//        if (newTabWidthKey.equals(event.getProperty()))
+//          getPreferenceStore().putValue(oldTabWidthKey, getPreferenceStore().getString(newTabWidthKey));
+//      }
+//    };
+//    getPreferenceStore().addPropertyChangeListener(fPropertyChangeListener);
 
     /*
      * Backward compatibility for the refactoring preference key.
@@ -1117,7 +1118,7 @@ public class PHPeclipsePlugin extends AbstractUIPlugin implements IPreferenceCon
    */
   private void uninstallPreferenceStoreBackwardsCompatibility() {
     JFaceResources.getFontRegistry().removeListener(fFontPropertyChangeListener);
-    getPreferenceStore().removePropertyChangeListener(fPropertyChangeListener);
+//    getPreferenceStore().removePropertyChangeListener(fPropertyChangeListener);
   }
 
   /*