From: axelcl Date: Sat, 18 Jun 2005 23:02:52 +0000 (+0000) Subject: Removed some internal constants X-Git-Url: http://git.phpeclipse.com?hp=af268cb1437dbf4a7f0582c8885ae5b5077348e0 Removed some internal constants --- diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java index f6b7cef..657bda0 100644 --- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java +++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java @@ -60,7 +60,7 @@ public interface IPreferenceConstants { // // public static final String ETC_HOSTS_PATH_PREF = "__etc_hosts_path"; - public static final String SHOW_OUTPUT_IN_CONSOLE = "_show_output_in_console"; +// public static final String SHOW_OUTPUT_IN_CONSOLE = "_show_output_in_console"; // public static final String PHP_RUN_PREF = "_php_run_pref"; // @@ -340,7 +340,7 @@ public interface IPreferenceConstants { public static final String EDITOR_CORRECTION_INDICATION = null; - public static final String PHP_OBFUSCATOR_DEFAULT = "_php_obfuscator_default"; +// public static final String PHP_OBFUSCATOR_DEFAULT = "_php_obfuscator_default"; // public static final String PHP_BOOKMARK_DEFAULT = "_php_bookmark_default"; // public static final String PHP_LOCALHOST_PREF = "_php_localhost"; // public static final String PHP_DOCUMENTROOT_PREF = "_php_documentroot"; diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPeclipsePlugin.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPeclipsePlugin.java index 1574650..6996224 100644 --- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPeclipsePlugin.java +++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPeclipsePlugin.java @@ -733,18 +733,18 @@ public class PHPeclipsePlugin extends AbstractUIPlugin implements IPreferenceCon // store.setDefault(APACHE_RESTART_BACKGROUND, "true"); } - store.setDefault(SHOW_OUTPUT_IN_CONSOLE, "true"); - store.setDefault(PHP_OBFUSCATOR_DEFAULT, "c:\\temp"); - if (operatingSystem.equals(Platform.OS_WIN32)) { +// store.setDefault(SHOW_OUTPUT_IN_CONSOLE, "true"); +// store.setDefault(PHP_OBFUSCATOR_DEFAULT, "c:\\temp"); +// if (operatingSystem.equals(Platform.OS_WIN32)) { // store.setDefault(EXTERNAL_BROWSER_PREF, "rundll32 url.dll,FileProtocolHandler {0}"); - } else if (operatingSystem.equals(Platform.OS_MACOSX)) { - store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp"); +// } else if (operatingSystem.equals(Platform.OS_MACOSX)) { +// store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp"); // TODO How do we start Safari on Mac OS X ? // store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}"); - } else { - store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp"); +// } else { +// store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp"); // store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}"); - } +// } store.setDefault(PHP_EXTENSION_PREFS, "php,php3,php4,php5,phtml,inc,module,class");