//public static final String BUILDER_INDEX_ID = PLUGIN_ID + ".indexbuilder";
/** General debug flag */
+
public static final boolean DEBUG = false;
/**
*
* @since 3.0
*/
- private IPropertyChangeListener fPropertyChangeListener;
+// private IPropertyChangeListener fPropertyChangeListener;
/**
* The combined preference store.
// .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, "");
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)) {
//
store.setDefault(MYSQL_RUN_PREF, "/apache/mysql/bin/mysqld");
store.setDefault(APACHE_RUN_PREF, "/apache/apache");
}
+ store.setDefault(PHP_EXTENSION_PREFS, "php,php3,php4,php5,phtml,inc,module,class");
store.setDefault(MYSQL_PREF, "--standalone");
store.setDefault(APACHE_START_PREF, "-c \"DocumentRoot \"{0}\"\"");
store.setDefault(APACHE_STOP_PREF, "-k shutdown");
* 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.
*/
private void uninstallPreferenceStoreBackwardsCompatibility() {
JFaceResources.getFontRegistry().removeListener(fFontPropertyChangeListener);
- getPreferenceStore().removePropertyChangeListener(fPropertyChangeListener);
+// getPreferenceStore().removePropertyChangeListener(fPropertyChangeListener);
}
/*