import net.sourceforge.phpdt.internal.ui.preferences.TemplatePreferencePage;
import net.sourceforge.phpdt.internal.ui.viewsupport.ImageDescriptorRegistry;
+import net.sourceforge.phpdt.ui.PreferenceConstants;
+import net.sourceforge.phpdt.ui.text.JavaTextTools;
import net.sourceforge.phpeclipse.phpeditor.PHPDocumentProvider;
import net.sourceforge.phpeclipse.phpeditor.PHPSyntaxRdr;
import net.sourceforge.phpeclipse.phpeditor.util.PHPColorProvider;
private ImageDescriptorRegistry fImageDescriptorRegistry;
private PHPDocumentProvider fCompilationUnitDocumentProvider;
+
+ private JavaTextTools fJavaTextTools;
+
/**
* The Java virtual machine that we are running on.
*/
static IPath getInstallLocation() {
return new Path(getDefault().getDescriptor().getInstallURL().getFile());
}
-
+
+ public synchronized JavaTextTools getJavaTextTools() {
+ if (fJavaTextTools == null)
+ fJavaTextTools= new JavaTextTools(getPreferenceStore());
+ return fJavaTextTools;
+ }
+
/**
* Returns the string from the plugin's resource bundle,
* or 'key' if not found.
new PHPSyntaxRdr();
PHPCore.initializeDefaultPluginPreferences();
+ PreferenceConstants.initializeDefaultValues(store);
}
public void startup() throws CoreException {