return fProblemMarkerManager;
}
+// public synchronized JavaTextTools getJavaTextTools() {
+// if (fJavaTextTools == null)
+// fJavaTextTools = new JavaTextTools(getPreferenceStore());
+// return fJavaTextTools;
+// }
public synchronized JavaTextTools getJavaTextTools() {
- if (fJavaTextTools == null)
- fJavaTextTools = new JavaTextTools(getPreferenceStore());
- return fJavaTextTools;
- }
-
+ if (fJavaTextTools == null)
+ fJavaTextTools= new JavaTextTools(getPreferenceStore(), JavaCore.getPlugin().getPluginPreferences());
+ return fJavaTextTools;
+}
public IFile getLastEditorFile() {
return fLastEditorFile;
}
// }
protected void initializeDefaultPreferences(IPreferenceStore store) {
// windows preferences:
- store.setDefault(LOCALHOST_PREF, "http://localhost");
+// store.setDefault(LOCALHOST_PREF, "http://localhost");
+// store.setDefault(DOCUMENTROOT_PREF, getWorkspace().getRoot().getLocation().toString());
+ store.setDefault(PHP_LOCALHOST_PREF, "http://localhost");
+ store.setDefault(PHP_DOCUMENTROOT_PREF, getWorkspace().getRoot().getLocation().toString());
+
// store.setDefault(SHOW_EXTERNAL_PREVIEW_PREF, "true");
store.setDefault(USE_EXTERNAL_BROWSER_PREF, "false");
store.setDefault(SHOW_OUTPUT_IN_CONSOLE, "true");
store.setDefault(PHP_AUTO_PREVIEW_DEFAULT, "true");
store.setDefault(PHP_BRING_TO_TOP_PREVIEW_DEFAULT, "true");
-
+ store.setDefault(PHP_SHOW_HTML_FILES_LOCAL, "true");
+
String windowsSystem = Platform.getWS();
if (jvm == WINDOWS_9x) {
store.setDefault(EXTERNAL_BROWSER_PREF,
store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp");
store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
}
- store.setDefault(DOCUMENTROOT_PREF, getWorkspace().getRoot().getLocation()
- .toString());
// if ((jvm == WINDOWS_9x) || (jvm == WINDOWS_NT)) {
//
if (windowsSystem.equals(Platform.WS_WIN32)) {
store.setDefault(APACHE_START_BACKGROUND, "true");
store.setDefault(APACHE_STOP_BACKGROUND, "true");
store.setDefault(APACHE_RESTART_BACKGROUND, "true");
- store.setDefault(PHP_PARSER_DEFAULT, PHP_EXTERNAL_PARSER);
- store.setDefault(PHP_INTERNAL_PARSER, "false");
- store.setDefault(PHP_EXTERNAL_PARSER, "true");
+// store.setDefault(PHP_PARSER_DEFAULT, PHP_EXTERNAL_PARSER);
+// store.setDefault(PHP_INTERNAL_PARSER, "false");
+// store.setDefault(PHP_EXTERNAL_PARSER, "true");
// store.setDefault(PHP_PARSE_ON_SAVE, "true");
// show line numbers:
// store.setDefault(LINE_NUMBER_RULER, "false");