// .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)) {
//