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;
}