/**********************************************************************
-Copyright (c) 2000, 2002 IBM Corp. and others.
-All rights reserved. This program and the accompanying materials
-are made available under the terms of the Common Public License v1.0
-which accompanies this distribution, and is available at
-http://www.eclipse.org/legal/cpl-v10.html
-
-Contributors:
- IBM Corporation - Initial implementation
- Klaus Hartlage - www.eclipseproject.de
-**********************************************************************/
+ Copyright (c) 2000, 2002 IBM Corp. and others.
+ All rights reserved. This program and the accompanying materials
+ are made available under the terms of the Common Public License v1.0
+ which accompanies this distribution, and is available at
+ http://www.eclipse.org/legal/cpl-v10.html
+
+ Contributors:
+ IBM Corporation - Initial implementation
+ Klaus Hartlage - www.eclipseproject.de
+ **********************************************************************/
package net.sourceforge.phpeclipse;
-
import java.io.File;
import java.util.ArrayList;
import java.util.Collection;
import java.util.List;
import java.util.Set;
+import net.sourceforge.phpdt.core.IBuffer;
+import net.sourceforge.phpdt.core.IBufferFactory;
+import net.sourceforge.phpdt.core.ICompilationUnit;
+import net.sourceforge.phpdt.core.IJavaElement;
+import net.sourceforge.phpdt.core.JavaCore;
+import net.sourceforge.phpdt.core.WorkingCopyOwner;
import net.sourceforge.phpdt.externaltools.internal.model.ColorManager;
import net.sourceforge.phpdt.externaltools.internal.model.ExternalToolsPlugin;
import net.sourceforge.phpdt.externaltools.internal.model.VariableContextManager;
+import net.sourceforge.phpdt.internal.ui.JavaElementAdapterFactory;
+import net.sourceforge.phpdt.internal.ui.ResourceAdapterFactory;
import net.sourceforge.phpdt.internal.ui.preferences.MembersOrderPreferenceCache;
import net.sourceforge.phpdt.internal.ui.preferences.TemplatePreferencePage;
import net.sourceforge.phpdt.internal.ui.text.java.hover.JavaEditorTextHoverDescriptor;
import net.sourceforge.phpeclipse.builder.ExternalStorageDocumentProvider;
import net.sourceforge.phpeclipse.builder.FileStorage;
import net.sourceforge.phpeclipse.builder.IdentifierIndexManager;
+import net.sourceforge.phpeclipse.phpeditor.CustomBufferFactory;
+import net.sourceforge.phpeclipse.phpeditor.DocumentAdapter;
import net.sourceforge.phpeclipse.phpeditor.PHPDocumentProvider;
import net.sourceforge.phpeclipse.phpeditor.PHPSyntaxRdr;
import net.sourceforge.phpeclipse.phpeditor.WorkingCopyManager;
import net.sourceforge.phpeclipse.phpeditor.util.PHPColorProvider;
-import net.sourceforge.phpeclipse.resourcesview.PHPElement;
-import net.sourceforge.phpeclipse.resourcesview.PHPElementAdapterFactory;
-import net.sourceforge.phpeclipse.resourcesview.ResourceAdapterFactory;
import org.eclipse.core.boot.BootLoader;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.runtime.Path;
import org.eclipse.core.runtime.Platform;
import org.eclipse.core.runtime.Status;
+import net.sourceforge.phpdt.internal.ui.text.folding.JavaFoldingStructureProviderRegistry;
+
+import net.sourceforge.phpdt.internal.ui.text.PreferencesAdapter;
import org.eclipse.jface.action.GroupMarker;
import org.eclipse.jface.action.IMenuManager;
import org.eclipse.jface.action.Separator;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.preference.PreferenceConverter;
+import org.eclipse.jface.resource.JFaceResources;
import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.IDocument;
+import org.eclipse.jface.util.IPropertyChangeListener;
+import org.eclipse.jface.util.PropertyChangeEvent;
import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.ui.IEditorDescriptor;
import org.eclipse.ui.IWorkbenchPage;
import org.eclipse.ui.IWorkbenchWindow;
import org.eclipse.ui.PlatformUI;
+import org.eclipse.ui.editors.text.EditorsUI;
import org.eclipse.ui.ide.IDE;
import org.eclipse.ui.plugin.AbstractUIPlugin;
+import org.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants;
+import org.eclipse.ui.texteditor.ChainedPreferenceStore;
import org.eclipse.ui.texteditor.IDocumentProvider;
import org.eclipse.ui.texteditor.ITextEditor;
-
+import org.eclipse.ui.texteditor.MarkerAnnotationPreferences;
+import org.osgi.framework.BundleContext;
/**
* The main plugin class to be used in the desktop.
*/
-public class PHPeclipsePlugin extends AbstractUIPlugin implements IPreferenceConstants {
+public class PHPeclipsePlugin extends AbstractUIPlugin
+ implements
+ IPreferenceConstants {
/**
* The id of the PHP plugin (value <code>"net.sourceforge.phpeclipse"</code>).
*/
public static final String PLUGIN_ID = "net.sourceforge.phpeclipse"; //$NON-NLS-1$
-
- /**
- * id of builder - matches plugin.xml (concatenate pluginid.builderid)
+ /**
+ * id of builder - matches plugin.xml (concatenate pluginid.builderid)
*/
public static final String BUILDER_PARSER_ID = PLUGIN_ID + ".parserbuilder";
//public static final String BUILDER_INDEX_ID = PLUGIN_ID + ".indexbuilder";
-
- /** General debug flag*/
+ /** General debug flag */
public static final boolean DEBUG = false;
-
/**
* The maximum number of allowed proposals by category
*/
public final static int MAX_PROPOSALS = 200;
-
private static ExternalToolsPlugin externalTools;
-
/**
- * The Java virtual machine that we are running on.
- */
+ * The Java virtual machine that we are running on.
+ */
private static int jvm;
-
/** MRJ 2.0 */
private static final int MRJ_2_0 = 0;
-
/** MRJ 2.1 or later */
private static final int MRJ_2_1 = 1;
-
/** Java on Mac OS X 10.0 (MRJ 3.0) */
private static final int MRJ_3_0 = 3;
-
/** MRJ 3.1 */
private static final int MRJ_3_1 = 4;
-
/** JVM constant for any other platform */
private static final int OTHER = -1;
-
- // public static final String PHP_RESOURCES_VIEW_ID = PLUGIN_ID + ".resourcesview.ViewPHPResources"; //$NON-NLS-1$
- public static final String PHP_CODING_ACTION_SET_ID = PLUGIN_ID + ".ui.CodingActionSet"; //$NON-NLS-1$
+ // public static final String PHP_RESOURCES_VIEW_ID = PLUGIN_ID +
+ // ".resourcesview.ViewPHPResources"; //$NON-NLS-1$
+ public static final String PHP_CODING_ACTION_SET_ID = PLUGIN_ID
+ + ".ui.CodingActionSet"; //$NON-NLS-1$
public final static String PHP_NATURE_ID = PLUGIN_ID + ".phpnature";
-
public static final String PHPPARSER_ORIGINAL = "net.sourceforge.phpdt.internal.compiler.parser.Parser";
-
public static final String PHPPARSER_NEW = "test.PHPParser";
-
/** Change this if you want to switch PHP Parser. */
public static final String PHPPARSER = PHPPARSER_ORIGINAL;
-
//The shared instance.
private static PHPeclipsePlugin plugin;
-
- /** Windows 9x */
+ /** Windows 9x */
private static final int WINDOWS_9x = 6;
-
- /** Windows NT */
+ /** Windows NT */
private static final int WINDOWS_NT = 5;
-
private ImageDescriptorRegistry fImageDescriptorRegistry;
private HashMap fIndexManagerMap = new HashMap();
-
private IWorkingCopyManager fWorkingCopyManager;
+ private IBufferFactory fBufferFactory;
private PHPDocumentProvider fCompilationUnitDocumentProvider;
private JavaTextTools fJavaTextTools;
private ProblemMarkerManager fProblemMarkerManager;
- private MembersOrderPreferenceCache fMembersOrderPreferenceCache;
-
+ private MembersOrderPreferenceCache fMembersOrderPreferenceCache;
private IFile fLastEditorFile = null;
-
- private JavaEditorTextHoverDescriptor[] fJavaEditorTextHoverDescriptors;
+ private JavaEditorTextHoverDescriptor[] fJavaEditorTextHoverDescriptors;
+
+ private JavaElementAdapterFactory fJavaElementAdapterFactory;
+// private MarkerAdapterFactory fMarkerAdapterFactory;
+// private EditorInputAdapterFactory fEditorInputAdapterFactory;
+ private ResourceAdapterFactory fResourceAdapterFactory;
+// private LogicalPackageAdapterFactory fLogicalPackageAdapterFactory;
+ private IPropertyChangeListener fFontPropertyChangeListener;
+ /**
+ * Property change listener on this plugin's preference store.
+ *
+ * @since 3.0
+ */
+ private IPropertyChangeListener fPropertyChangeListener;
+ /**
+ * The combined preference store.
+ * @since 3.0
+ */
+ private IPreferenceStore fCombinedPreferenceStore;
+ /**
+ * The extension point registry for the <code>org.eclipse.jdt.ui.javaFoldingStructureProvider</code>
+ * extension point.
+ *
+ * @since 3.0
+ */
+ private JavaFoldingStructureProviderRegistry fFoldingStructureProviderRegistry;
/**
* The constructor.
*/
setJVM();
externalTools = new ExternalToolsPlugin();
// try {
- // resourceBundle = ResourceBundle.getBundle("net.sourceforge.PHPeclipsePluginResources");
+ // resourceBundle =
+ // ResourceBundle.getBundle("net.sourceforge.PHPeclipsePluginResources");
// } catch (MissingResourceException x) {
// resourceBundle = null;
// }
}
- /**
- * Returns all Java editor text hovers contributed to the workbench.
- *
- * @return an array of JavaEditorTextHoverDescriptor
- * @since 2.1
- */
- public JavaEditorTextHoverDescriptor[] getJavaEditorTextHoverDescriptors() {
- if (fJavaEditorTextHoverDescriptors == null)
- fJavaEditorTextHoverDescriptors= JavaEditorTextHoverDescriptor.getContributedHovers();
- return fJavaEditorTextHoverDescriptors;
- }
-
- /**
- * Resets the Java editor text hovers contributed to the workbench.
- * <p>
- * This will force a rebuild of the descriptors the next time
- * a client asks for them.
- * </p>
- *
- * @return an array of JavaEditorTextHoverDescriptor
- * @since 2.1
- */
- public void resetJavaEditorTextHoverDescriptors() {
- fJavaEditorTextHoverDescriptors= null;
- }
- /**
- * Creates the PHP plugin standard groups in a context menu.
- */
- public static void createStandardGroups(IMenuManager menu) {
- if (!menu.isEmpty())
- return;
-
- menu.add(new Separator(IContextMenuConstants.GROUP_NEW));
- menu.add(new GroupMarker(IContextMenuConstants.GROUP_GOTO));
- menu.add(new Separator(IContextMenuConstants.GROUP_OPEN));
- menu.add(new GroupMarker(IContextMenuConstants.GROUP_SHOW));
- menu.add(new Separator(IContextMenuConstants.GROUP_REORGANIZE));
- menu.add(new Separator(IContextMenuConstants.GROUP_GENERATE));
- menu.add(new Separator(IContextMenuConstants.GROUP_SEARCH));
- menu.add(new Separator(IContextMenuConstants.GROUP_BUILD));
- menu.add(new Separator(IContextMenuConstants.GROUP_ADDITIONS));
- menu.add(new Separator(IContextMenuConstants.GROUP_VIEWER_SETUP));
- menu.add(new Separator(IContextMenuConstants.GROUP_PROPERTIES));
- }
+ /**
+ * Returns all Java editor text hovers contributed to the workbench.
+ *
+ * @return an array of JavaEditorTextHoverDescriptor
+ * @since 2.1
+ */
+ public JavaEditorTextHoverDescriptor[] getJavaEditorTextHoverDescriptors() {
+ if (fJavaEditorTextHoverDescriptors == null)
+ fJavaEditorTextHoverDescriptors = JavaEditorTextHoverDescriptor
+ .getContributedHovers();
+ return fJavaEditorTextHoverDescriptors;
+ }
+ /**
+ * Resets the Java editor text hovers contributed to the workbench.
+ * <p>
+ * This will force a rebuild of the descriptors the next time a client asks
+ * for them.
+ * </p>
+ *
+ * @return an array of JavaEditorTextHoverDescriptor
+ * @since 2.1
+ */
+ public void resetJavaEditorTextHoverDescriptors() {
+ fJavaEditorTextHoverDescriptors = null;
+ }
+ /**
+ * Creates the PHP plugin standard groups in a context menu.
+ */
+ public static void createStandardGroups(IMenuManager menu) {
+ if (!menu.isEmpty())
+ return;
+ menu.add(new Separator(IContextMenuConstants.GROUP_NEW));
+ menu.add(new GroupMarker(IContextMenuConstants.GROUP_GOTO));
+ menu.add(new Separator(IContextMenuConstants.GROUP_OPEN));
+ menu.add(new GroupMarker(IContextMenuConstants.GROUP_SHOW));
+ menu.add(new Separator(IContextMenuConstants.GROUP_REORGANIZE));
+ menu.add(new Separator(IContextMenuConstants.GROUP_GENERATE));
+ menu.add(new Separator(IContextMenuConstants.GROUP_SEARCH));
+ menu.add(new Separator(IContextMenuConstants.GROUP_BUILD));
+ menu.add(new Separator(IContextMenuConstants.GROUP_ADDITIONS));
+ menu.add(new Separator(IContextMenuConstants.GROUP_VIEWER_SETUP));
+ menu.add(new Separator(IContextMenuConstants.GROUP_PROPERTIES));
+ }
public static IWorkbenchPage getActivePage() {
return getDefault().internalGetActivePage();
}
-
public static Shell getActiveWorkbenchShell() {
return getActiveWorkbenchWindow().getShell();
}
-
/**
- * Returns an array of all editors that have an unsaved content. If the identical content is
- * presented in more than one editor, only one of those editor parts is part of the result.
- *
- * @return an array of all dirty editor parts.
- */
+ * Returns an array of all editors that have an unsaved content. If the
+ * identical content is presented in more than one editor, only one of those
+ * editor parts is part of the result.
+ *
+ * @return an array of all dirty editor parts.
+ */
public static IEditorPart[] getDirtyEditors() {
Set inputs = new HashSet();
List result = new ArrayList(0);
}
return (IEditorPart[]) result.toArray(new IEditorPart[result.size()]);
}
-
public static IWorkbenchWindow getActiveWorkbenchWindow() {
return getDefault().getWorkbench().getActiveWorkbenchWindow();
}
public static PHPeclipsePlugin getDefault() {
return plugin;
}
-
public static ImageDescriptorRegistry getImageDescriptorRegistry() {
return getDefault().internalGetImageDescriptorRegistry();
}
-
static IPath getInstallLocation() {
return new Path(getDefault().getDescriptor().getInstallURL().getFile());
}
public static int getJVM() {
return jvm;
}
-
public static String getPluginId() {
return getDefault().getDescriptor().getUniqueIdentifier();
}
-
/**
- * Returns the standard display to be used. The method first checks, if
- * the thread calling this method has an associated display. If so, this
- * display is returned. Otherwise the method returns the default display.
+ * Returns the standard display to be used. The method first checks, if the
+ * thread calling this method has an associated display. If so, this display
+ * is returned. Otherwise the method returns the default display.
*/
public static Display getStandardDisplay() {
Display display = Display.getCurrent();
}
return display;
}
-
// public static ExternalToolsPlugin getExternalTools() {
// return externalTools;
// }
public static IWorkspace getWorkspace() {
return ResourcesPlugin.getWorkspace();
}
-
public static boolean isDebug() {
return getDefault().isDebugging();
}
-
// public static void logErrorMessage(String message) {
- // log(new Status(IStatus.ERROR, getPluginId(), JavaStatusConstants.INTERNAL_ERROR, message, null));
+ // log(new Status(IStatus.ERROR, getPluginId(),
+ // JavaStatusConstants.INTERNAL_ERROR, message, null));
// }
//
// public static void logErrorStatus(String message, IStatus status) {
// logErrorMessage(message);
// return;
// }
- // MultiStatus multi= new MultiStatus(getPluginId(), JavaStatusConstants.INTERNAL_ERROR, message, null);
+ // MultiStatus multi= new MultiStatus(getPluginId(),
+ // JavaStatusConstants.INTERNAL_ERROR, message, null);
// multi.add(status);
// log(multi);
// }
//
// public static void log(Throwable e) {
- // log(new Status(IStatus.ERROR, getPluginId(), JavaStatusConstants.INTERNAL_ERROR, JavaUIMessages.getString("JavaPlugin.internal_error"), e)); //$NON-NLS-1$
+ // log(new Status(IStatus.ERROR, getPluginId(),
+ // JavaStatusConstants.INTERNAL_ERROR,
+ // JavaUIMessages.getString("JavaPlugin.internal_error"), e)); //$NON-NLS-1$
// }
-
public static void log(int severity, String message) {
Status status = new Status(severity, PLUGIN_ID, IStatus.OK, message, null);
log(status);
}
-
public static void log(IStatus status) {
getDefault().getLog().log(status);
}
public static void log(Throwable e) {
- log(new Status(IStatus.ERROR, PLUGIN_ID, IStatus.ERROR, "PHPeclipsePlugin.internalErrorOccurred", e)); //$NON-NLS-1$
+ log(new Status(IStatus.ERROR, PLUGIN_ID, IStatus.ERROR,
+ "PHPeclipsePlugin.internalErrorOccurred", e)); //$NON-NLS-1$
}
-
private static void setJVM() {
String osName = System.getProperty("os.name");
-
if (osName.startsWith("Mac OS")) {
String mrjVersion = System.getProperty("mrj.version");
String majorMRJVersion = mrjVersion.substring(0, 3);
jvm = OTHER;
try {
-
double version = Double.valueOf(majorMRJVersion).doubleValue();
-
if (version == 2) {
jvm = MRJ_2_0;
} else if (version >= 2.1 && version < 3) {
} else if (version >= 3.1) {
jvm = MRJ_3_1;
}
-
} catch (NumberFormatException nfe) {
-
}
-
} else if (osName.startsWith("Windows")) {
if (osName.indexOf("9") != -1) {
jvm = WINDOWS_9x;
}
}
}
-
// TODO: refactor this into a better method name !
public synchronized PHPDocumentProvider getCompilationUnitDocumentProvider() {
if (fCompilationUnitDocumentProvider == null)
/**
* Get the identifier index manager for the given project
*
- * @param iProject the current project
+ * @param iProject
+ * the current project
* @return
*/
public IdentifierIndexManager getIndexManager(IProject iProject) {
- String indexFilename = iProject.getLocation() + File.separator + "project.index";
- IdentifierIndexManager indexManager = (IdentifierIndexManager) fIndexManagerMap.get(indexFilename);
+ String indexFilename = iProject.getLocation() + File.separator
+ + "project.index";
+ IdentifierIndexManager indexManager = (IdentifierIndexManager) fIndexManagerMap
+ .get(indexFilename);
if (indexManager == null) {
indexManager = new IdentifierIndexManager(indexFilename);
fIndexManagerMap.put(indexFilename, indexManager);
}
return indexManager;
}
-
public synchronized IWorkingCopyManager getWorkingCopyManager() {
if (fWorkingCopyManager == null) {
PHPDocumentProvider provider = getCompilationUnitDocumentProvider();
}
return fWorkingCopyManager;
}
-
- public synchronized MembersOrderPreferenceCache getMemberOrderPreferenceCache() {
- if (fMembersOrderPreferenceCache == null)
- fMembersOrderPreferenceCache= new MembersOrderPreferenceCache();
- return fMembersOrderPreferenceCache;
- }
-
+ public synchronized MembersOrderPreferenceCache getMemberOrderPreferenceCache() {
+ if (fMembersOrderPreferenceCache == null)
+ fMembersOrderPreferenceCache = new MembersOrderPreferenceCache();
+ return fMembersOrderPreferenceCache;
+ }
public synchronized ProblemMarkerManager getProblemMarkerManager() {
if (fProblemMarkerManager == null)
fProblemMarkerManager = new ProblemMarkerManager();
return fProblemMarkerManager;
}
-
+
public synchronized JavaTextTools getJavaTextTools() {
if (fJavaTextTools == null)
fJavaTextTools = new JavaTextTools(getPreferenceStore());
return fJavaTextTools;
}
-
public IFile getLastEditorFile() {
return fLastEditorFile;
}
-
/**
- * Returns the string from the plugin's resource bundle,
- * or 'key' if not found.
+ * Returns the string from the plugin's resource bundle, or 'key' if not
+ * found.
*/
// public static String getResourceString(String key) {
// ResourceBundle bundle = PHPeclipsePlugin.getDefault().getResourceBundle();
// return key;
// }
// }
-
/**
* Returns the plugin's resource bundle,
*/
// public ResourceBundle getResourceBundle() {
// return resourceBundle;
// }
-
protected void initializeDefaultPreferences(IPreferenceStore store) {
// windows preferences:
store.setDefault(LOCALHOST_PREF, "http://localhost");
-
- store.setDefault(SHOW_EXTERNAL_PREVIEW_PREF, "true");
+// store.setDefault(SHOW_EXTERNAL_PREVIEW_PREF, "true");
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, "");
+
+ store.setDefault(PHP_AUTO_PREVIEW_DEFAULT, "true");
+ store.setDefault(PHP_BRING_TO_TOP_PREVIEW_DEFAULT, "true");
+
String windowsSystem = BootLoader.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(BootLoader.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(BootLoader.WS_CARBON)) {
// TODO How do we start Safari on Mac OS X ?
store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
} else {
+ store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp");
store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
}
- store.setDefault(DOCUMENTROOT_PREF, getWorkspace().getRoot().getLocation().toString());
-
+ store.setDefault(DOCUMENTROOT_PREF, getWorkspace().getRoot().getLocation()
+ .toString());
// if ((jvm == WINDOWS_9x) || (jvm == WINDOWS_NT)) {
//
if (windowsSystem.equals(BootLoader.WS_WIN32)) {
store.setDefault(MYSQL_RUN_PREF, "c:\\apache\\mysql\\bin\\mysqld-nt.exe");
store.setDefault(APACHE_RUN_PREF, "c:\\apache\\apache.exe");
} else {
-
store.setDefault(PHP_RUN_PREF, "/apache/php/php");
store.setDefault(EXTERNAL_PARSER_PREF, "/apache/php/php -l -f {0}");
store.setDefault(MYSQL_RUN_PREF, "/apache/mysql/bin/mysqld");
store.setDefault(APACHE_RUN_PREF, "/apache/apache");
-
}
store.setDefault(MYSQL_PREF, "--standalone");
store.setDefault(APACHE_START_PREF, "-c \"DocumentRoot \"{0}\"\"");
store.setDefault(APACHE_STOP_PREF, "-k shutdown");
store.setDefault(APACHE_RESTART_PREF, "-k restart");
-
store.setDefault(MYSQL_START_BACKGROUND, "true");
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_PARSE_ON_SAVE, "true");
-
// show line numbers:
// store.setDefault(LINE_NUMBER_RULER, "false");
// store.setDefault(FORMATTER_TAB_SIZE, "4");
-
// php syntax highlighting
store.setDefault(PHP_USERDEF_XMLFILE, "");
- //assume there is none chooA
-
- PreferenceConverter.setDefault(store, PHP_MULTILINE_COMMENT, PHPColorProvider.MULTI_LINE_COMMENT);
- PreferenceConverter.setDefault(store, PHP_SINGLELINE_COMMENT, PHPColorProvider.SINGLE_LINE_COMMENT);
+ //assume there is none chooA
+ PreferenceConverter.setDefault(store, PHP_MULTILINE_COMMENT,
+ PHPColorProvider.MULTI_LINE_COMMENT);
+ PreferenceConverter.setDefault(store, PHP_SINGLELINE_COMMENT,
+ PHPColorProvider.SINGLE_LINE_COMMENT);
PreferenceConverter.setDefault(store, PHP_TAG, PHPColorProvider.TAG);
- PreferenceConverter.setDefault(store, PHP_KEYWORD, PHPColorProvider.KEYWORD);
- PreferenceConverter.setDefault(store, PHP_VARIABLE, PHPColorProvider.VARIABLE);
- PreferenceConverter.setDefault(store, PHP_FUNCTIONNAME, PHPColorProvider.FUNCTION_NAME);
- PreferenceConverter.setDefault(store, PHP_CONSTANT, PHPColorProvider.CONSTANT);
+ PreferenceConverter
+ .setDefault(store, PHP_KEYWORD, PHPColorProvider.KEYWORD);
+ PreferenceConverter.setDefault(store, PHP_VARIABLE,
+ PHPColorProvider.VARIABLE);
+ PreferenceConverter.setDefault(store, PHP_FUNCTIONNAME,
+ PHPColorProvider.FUNCTION_NAME);
+ PreferenceConverter.setDefault(store, PHP_CONSTANT,
+ PHPColorProvider.CONSTANT);
PreferenceConverter.setDefault(store, PHP_TYPE, PHPColorProvider.TYPE);
PreferenceConverter.setDefault(store, PHP_STRING, PHPColorProvider.STRING);
- PreferenceConverter.setDefault(store, PHP_DEFAULT, PHPColorProvider.DEFAULT);
-
- PreferenceConverter.setDefault(store, PHPDOC_KEYWORD, PHPColorProvider.PHPDOC_KEYWORD);
- PreferenceConverter.setDefault(store, PHPDOC_TAG, PHPColorProvider.PHPDOC_TAG);
- PreferenceConverter.setDefault(store, PHPDOC_LINK, PHPColorProvider.PHPDOC_LINK);
- PreferenceConverter.setDefault(store, PHPDOC_DEFAULT, PHPColorProvider.PHPDOC_DEFAULT);
-
+ PreferenceConverter
+ .setDefault(store, PHP_DEFAULT, PHPColorProvider.DEFAULT);
+ PreferenceConverter.setDefault(store, PHPDOC_KEYWORD,
+ PHPColorProvider.PHPDOC_KEYWORD);
+ PreferenceConverter.setDefault(store, PHPDOC_TAG,
+ PHPColorProvider.PHPDOC_TAG);
+ PreferenceConverter.setDefault(store, PHPDOC_LINK,
+ PHPColorProvider.PHPDOC_LINK);
+ PreferenceConverter.setDefault(store, PHPDOC_DEFAULT,
+ PHPColorProvider.PHPDOC_DEFAULT);
// PreferenceConverter.setDefault(
// store,
// PHP_EDITOR_BACKGROUND,
// store,
// LINE_NUMBER_COLOR,
// PHPColorProvider.LINE_NUMBER_COLOR);
-
// // set default PHPDoc colors:
// PreferenceConverter.setDefault(
// store,
- // PHPDOC_KEYWORD,
+ // PHPDOC_KEYWORD,
// PHPColorProvider.PHPDOC_KEYWORD);
// PreferenceConverter.setDefault(
// store,
- // PHPDOC_LINK,
- // PHPColorProvider.PHPDOC_LINK);
+ // PHPDOC_LINK,
+ // PHPColorProvider.PHPDOC_LINK);
// PreferenceConverter.setDefault(
// store,
- // PHPDOC_DEFAULT,
+ // PHPDOC_DEFAULT,
// PHPColorProvider.PHPDOC_DEFAULT);
// PreferenceConverter.setDefault(
// store,
- // PHPDOC_TAG,
+ // PHPDOC_TAG,
// PHPColorProvider.PHPDOC_TAG);
-
// store.setDefault(PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT, "true");
// PreferenceConverter.setDefault(
// store,
// PREFERENCE_COLOR_BACKGROUND,
// PHPColorProvider.BACKGROUND_COLOR);
-
//language stuff
// store.setDefault(RESOURCE_BUNDLE, LANGUAGE_DEFAULT);
// store.setDefault(RESOURCE_BUNDLE_EN_GB, "true");
// store.setDefault(RESOURCE_BUNDLE_DE, "false");
// store.setDefault(RESOURCE_BUNDLE_FR, "false");
// store.setDefault(RESOURCE_BUNDLE_ES, "false");
-
- store.setDefault(PHP_OUTLINE_CLASS, "true"); //$NON-NLS-1$
- store.setDefault(PHP_OUTLINE_FUNC, "true"); //$NON-NLS-1$
- store.setDefault(PHP_OUTLINE_VAR, "true"); //$NON-NLS-1$
-
TemplatePreferencePage.initDefaults(store);
//this will initialize the static fields in the syntaxrdr class
new PHPSyntaxRdr();
-
- PHPCore.initializeDefaultPluginPreferences();
+ JavaCore.initializeDefaultPluginPreferences();
PreferenceConstants.initializeDefaultValues(store);
-
externalTools.initializeDefaultPreferences(store);
+ MarkerAnnotationPreferences.initializeDefaultValues(store);
}
-
private IWorkbenchPage internalGetActivePage() {
IWorkbenchWindow window = getWorkbench().getActiveWorkbenchWindow();
if (window != null)
return window.getActivePage();
return null;
}
-
private ImageDescriptorRegistry internalGetImageDescriptorRegistry() {
if (fImageDescriptorRegistry == null)
fImageDescriptorRegistry = new ImageDescriptorRegistry();
return fImageDescriptorRegistry;
}
/**
- * Open a file in the Workbench that may or may not exist in the workspace.
- * Must be run on the UI thread.
- * @param filename
- * @throws CoreException
- */
+ * Open a file in the Workbench that may or may not exist in the workspace.
+ * Must be run on the UI thread.
+ *
+ * @param filename
+ * @throws CoreException
+ */
public ITextEditor openFileInTextEditor(String filename) throws CoreException {
-
// reject directories
if (new File(filename).isDirectory())
return null;
-
IWorkbench workbench = PlatformUI.getWorkbench();
IWorkbenchWindow window = workbench.getWorkbenchWindows()[0];
IWorkbenchPage page = window.getActivePage();
IPath path = new Path(filename);
-
// If the file exists in the workspace, open it
IFile file = getWorkspace().getRoot().getFileForLocation(path);
IEditorPart editor;
IEditorRegistry registry = getWorkbench().getEditorRegistry();
IEditorDescriptor desc = registry.getDefaultEditor(filename);
if (desc == null) {
- desc = registry.getDefaultEditor();
+ desc = registry.findEditor(IEditorRegistry.SYSTEM_EXTERNAL_EDITOR_ID);
+ // desc = registry.getDefaultEditor();
}
IEditorInput input = new ExternalEditorInput(storage);
editor = page.openEditor(input, desc.getId());
textEditor = (ITextEditor) editor.getAdapter(ITextEditor.class);
-
// If the storage provider is not ours, we can't guarantee read/write.
if (textEditor != null) {
IDocumentProvider documentProvider = textEditor.getDocumentProvider();
return textEditor;
}
/**
- * Open a file in the Workbench that may or may not exist in the workspace.
- * Must be run on the UI thread.
- * @param filename
- * @param line
- * @throws CoreException
- */
- public void openFileAndGotoLine(String filename, int line) throws CoreException {
-
+ * Open a file in the Workbench that may or may not exist in the workspace.
+ * Must be run on the UI thread.
+ *
+ * @param filename
+ * @param line
+ * @throws CoreException
+ */
+ public void openFileAndGotoLine(String filename, int line)
+ throws CoreException {
ITextEditor textEditor = openFileInTextEditor(filename);
if (textEditor != null) {
// If a line number was given, go to it
if (line > 0) {
try {
line--; // document is 0 based
- IDocument document = textEditor.getDocumentProvider().getDocument(textEditor.getEditorInput());
- textEditor.selectAndReveal(document.getLineOffset(line), document.getLineLength(line));
-
+ IDocument document = textEditor.getDocumentProvider().getDocument(
+ textEditor.getEditorInput());
+ textEditor.selectAndReveal(document.getLineOffset(line), document
+ .getLineLength(line));
} catch (BadLocationException e) {
// invalid text position -> do nothing
}
}
}
}
-
/**
- * Open a file in the Workbench that may or may not exist in the workspace.
- * Must be run on the UI thread.
- * @param filename
- * @param offset
- * @throws CoreException
- */
- public void openFileAndGotoOffset(String filename, int offset, int length) throws CoreException {
-
+ * Open a file in the Workbench that may or may not exist in the workspace.
+ * Must be run on the UI thread.
+ *
+ * @param filename
+ * @param offset
+ * @throws CoreException
+ */
+ public void openFileAndGotoOffset(String filename, int offset, int length)
+ throws CoreException {
ITextEditor textEditor = openFileInTextEditor(filename);
if (textEditor != null) {
// If a line number was given, go to it
if (offset >= 0) {
- IDocument document = textEditor.getDocumentProvider().getDocument(textEditor.getEditorInput());
+ IDocument document = textEditor.getDocumentProvider().getDocument(
+ textEditor.getEditorInput());
textEditor.selectAndReveal(offset, length);
}
}
}
-
- public void openFileAndFindString(String filename, String findString) throws CoreException {
-
+ public void openFileAndFindString(String filename, String findString)
+ throws CoreException {
ITextEditor textEditor = openFileInTextEditor(filename);
if (textEditor != null) {
// If a string was given, go to it
if (findString != null) {
try {
- IDocument document = textEditor.getDocumentProvider().getDocument(textEditor.getEditorInput());
+ IDocument document = textEditor.getDocumentProvider().getDocument(
+ textEditor.getEditorInput());
int offset = document.search(0, findString, true, false, true);
textEditor.selectAndReveal(offset, findString.length());
-
} catch (BadLocationException e) {
// invalid text position -> do nothing
}
-
}
}
}
public void setLastEditorFile(IFile textEditor) {
this.fLastEditorFile = textEditor;
}
-
+ /*
+ * @see org.eclipse.core.runtime.Plugin#stop
+ */
+ public void stop(BundleContext context) throws Exception {
+ try {
+ JavaCore.stop(this, context);
+
+ ColorManager.getDefault().dispose();
+ // save the information from the php index files if necessary
+ Collection collection = fIndexManagerMap.values();
+ Iterator iterator = collection.iterator();
+ IdentifierIndexManager indexManager = null;
+ while (iterator.hasNext()) {
+ indexManager = (IdentifierIndexManager) iterator.next();
+ indexManager.writeFile();
+ }
+ if (fImageDescriptorRegistry != null)
+ fImageDescriptorRegistry.dispose();
+
+// AllTypesCache.terminate();
+
+ if (fImageDescriptorRegistry != null)
+ fImageDescriptorRegistry.dispose();
+
+ unregisterAdapters();
+
+// if (fASTProvider != null) {
+// fASTProvider.dispose();
+// fASTProvider= null;
+// }
+
+ if (fWorkingCopyManager != null) {
+ fWorkingCopyManager.shutdown();
+ fWorkingCopyManager= null;
+ }
+
+ if (fCompilationUnitDocumentProvider != null) {
+ fCompilationUnitDocumentProvider.shutdown();
+ fCompilationUnitDocumentProvider= null;
+ }
+
+ if (fJavaTextTools != null) {
+ fJavaTextTools.dispose();
+ fJavaTextTools= null;
+ }
+// JavaDocLocations.shutdownJavadocLocations();
+
+ uninstallPreferenceStoreBackwardsCompatibility();
+
+// RefactoringCore.getUndoManager().shutdown();
+ } finally {
+ super.stop(context);
+ }
+ }
/**
* @see org.eclipse.ui.plugin.AbstractUIPlugin#shutdown()
*/
- public void shutdown() throws CoreException {
- // moved down:
- // super.shutdown();
-
- // externalTools.shutDown();
- ColorManager.getDefault().dispose();
-
- // save the information from the php index files if necessary
- Collection collection = fIndexManagerMap.values();
- Iterator iterator = collection.iterator();
- IdentifierIndexManager indexManager = null;
- while (iterator.hasNext()) {
- indexManager = (IdentifierIndexManager) iterator.next();
- indexManager.writeFile();
- }
-
- if (fImageDescriptorRegistry != null)
- fImageDescriptorRegistry.dispose();
-
- // unregisterAdapters();
-
- super.shutdown();
-
- if (fWorkingCopyManager != null) {
- fWorkingCopyManager.shutdown();
- fWorkingCopyManager = null;
- }
-
- if (fCompilationUnitDocumentProvider != null) {
- fCompilationUnitDocumentProvider.shutdown();
- fCompilationUnitDocumentProvider = null;
- }
-
- if (fJavaTextTools != null) {
- fJavaTextTools.dispose();
- fJavaTextTools = null;
- }
-
- // JavaDocLocations.shutdownJavadocLocations();
- //
- // JFaceResources.getFontRegistry().removeListener(fFontPropertyChangeListener);
-
- }
-
- public void startup() throws CoreException {
- super.startup();
- IAdapterManager manager = Platform.getAdapterManager();
- manager.registerAdapters(new PHPElementAdapterFactory(), PHPElement.class);
- manager.registerAdapters(new ResourceAdapterFactory(), IResource.class);
- // externalTools.startUp();
- getStandardDisplay().asyncExec(new Runnable() {
- public void run() {
- //initialize the variable context manager
- VariableContextManager.getDefault();
- }
- });
- }
-
+// public void shutdown() throws CoreException {
+// // moved down (see below):
+// // super.shutdown();
+// // externalTools.shutDown();
+// ColorManager.getDefault().dispose();
+// // save the information from the php index files if necessary
+// Collection collection = fIndexManagerMap.values();
+// Iterator iterator = collection.iterator();
+// IdentifierIndexManager indexManager = null;
+// while (iterator.hasNext()) {
+// indexManager = (IdentifierIndexManager) iterator.next();
+// indexManager.writeFile();
+// }
+// if (fImageDescriptorRegistry != null)
+// fImageDescriptorRegistry.dispose();
+// // unregisterAdapters();
+// super.shutdown();
+// if (fWorkingCopyManager != null) {
+// fWorkingCopyManager.shutdown();
+// fWorkingCopyManager = null;
+// }
+// if (fCompilationUnitDocumentProvider != null) {
+// fCompilationUnitDocumentProvider.shutdown();
+// fCompilationUnitDocumentProvider = null;
+// }
+// if (fJavaTextTools != null) {
+// fJavaTextTools.dispose();
+// fJavaTextTools = null;
+// }
+// // JavaDocLocations.shutdownJavadocLocations();
+// //
+// // JFaceResources.getFontRegistry().removeListener(fFontPropertyChangeListener);
+// // begin JavaCore#shutdown()
+// //savePluginPreferences();
+// savePluginPreferences();
+// IWorkspace workspace = ResourcesPlugin.getWorkspace();
+// workspace.removeResourceChangeListener(JavaModelManager.getJavaModelManager().deltaState);
+// workspace.removeSaveParticipant(this);
+// ((JavaModelManager) JavaModelManager.getJavaModelManager()).shutdown();
+// // end JavaCore#shutdown()
+// }
+ /**
+ * Installs backwards compatibility for the preference store.
+ */
+ private void installPreferenceStoreBackwardsCompatibility() {
+
+ /*
+ * Installs backwards compatibility: propagate the Java editor font from a
+ * pre-2.1 plug-in to the Platform UI's preference store to preserve
+ * the Java editor font from a pre-2.1 workspace. This is done only
+ * once.
+ */
+ String fontPropagatedKey= "fontPropagated"; //$NON-NLS-1$
+ if (getPreferenceStore().contains(JFaceResources.TEXT_FONT) && !getPreferenceStore().isDefault(JFaceResources.TEXT_FONT)) {
+ if (!getPreferenceStore().getBoolean(fontPropagatedKey))
+ PreferenceConverter.setValue(PlatformUI.getWorkbench().getPreferenceStore(), PreferenceConstants.EDITOR_TEXT_FONT, PreferenceConverter.getFontDataArray(getPreferenceStore(), JFaceResources.TEXT_FONT));
+ }
+ getPreferenceStore().setValue(fontPropagatedKey, true);
+
+ /*
+ * Backwards compatibility: set the Java editor font in this plug-in's
+ * preference store to let older versions access it. Since 2.1 the
+ * Java editor font is managed by the workbench font preference page.
+ */
+ PreferenceConverter.putValue(getPreferenceStore(), JFaceResources.TEXT_FONT, JFaceResources.getFontRegistry().getFontData(PreferenceConstants.EDITOR_TEXT_FONT));
+
+ fFontPropertyChangeListener= new IPropertyChangeListener() {
+ public void propertyChange(PropertyChangeEvent event) {
+ if (PreferenceConstants.EDITOR_TEXT_FONT.equals(event.getProperty()))
+ PreferenceConverter.putValue(getPreferenceStore(), JFaceResources.TEXT_FONT, JFaceResources.getFontRegistry().getFontData(PreferenceConstants.EDITOR_TEXT_FONT));
+ }
+ };
+ JFaceResources.getFontRegistry().addListener(fFontPropertyChangeListener);
+
+ /*
+ * Backwards compatibility: propagate the Java editor tab width from a
+ * pre-3.0 plug-in to the new preference key. This is done only once.
+ */
+ final String oldTabWidthKey= PreferenceConstants.EDITOR_TAB_WIDTH;
+ final String newTabWidthKey= AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH;
+ String tabWidthPropagatedKey= "tabWidthPropagated"; //$NON-NLS-1$
+ if (getPreferenceStore().contains(oldTabWidthKey) && !getPreferenceStore().isDefault(oldTabWidthKey)) {
+ if (!getPreferenceStore().getBoolean(tabWidthPropagatedKey))
+ getPreferenceStore().setValue(newTabWidthKey, getPreferenceStore().getInt(oldTabWidthKey));
+ }
+ getPreferenceStore().setValue(tabWidthPropagatedKey, true);
+
+ /*
+ * Backwards compatibility: set the Java editor tab width in this plug-in's
+ * preference store with the old key to let older versions access it.
+ * Since 3.0 the tab width is managed by the extended texteditor and
+ * uses a new key.
+ */
+ getPreferenceStore().putValue(oldTabWidthKey, getPreferenceStore().getString(newTabWidthKey));
+
+ fPropertyChangeListener= new IPropertyChangeListener() {
+ public void propertyChange(PropertyChangeEvent event) {
+ if (newTabWidthKey.equals(event.getProperty()))
+ getPreferenceStore().putValue(oldTabWidthKey, getPreferenceStore().getString(newTabWidthKey));
+ }
+ };
+ getPreferenceStore().addPropertyChangeListener(fPropertyChangeListener);
+
+ /*
+ * Backward compatibility for the refactoring preference key.
+ */
+// getPreferenceStore().setValue(
+// PreferenceConstants.REFACTOR_ERROR_PAGE_SEVERITY_THRESHOLD,
+// RefactoringCore.getConditionCheckingFailedSeverity());
+ }
+
+ /**
+ * Uninstalls backwards compatibility for the preference store.
+ */
+ private void uninstallPreferenceStoreBackwardsCompatibility() {
+ JFaceResources.getFontRegistry().removeListener(fFontPropertyChangeListener);
+ getPreferenceStore().removePropertyChangeListener(fPropertyChangeListener);
+ }
+ /* (non - Javadoc)
+ * Method declared in Plugin
+ */
+ public void start(BundleContext context) throws Exception {
+ super.start(context);
+
+ JavaCore.start(this, context);
+
+ registerAdapters();
+
+ // externalTools.startUp();
+ getStandardDisplay().asyncExec(new Runnable() {
+ public void run() {
+ //initialize the variable context manager
+ VariableContextManager.getDefault();
+ }
+ });
+
+// if (USE_WORKING_COPY_OWNERS) {
+ WorkingCopyOwner.setPrimaryBufferProvider(new WorkingCopyOwner() {
+ public IBuffer createBuffer(ICompilationUnit workingCopy) {
+ ICompilationUnit original= workingCopy.getPrimary();
+ IResource resource= original.getResource();
+ if (resource instanceof IFile)
+ return new DocumentAdapter(workingCopy, (IFile) resource);
+ return DocumentAdapter.NULL;
+ }
+ });
+// }
+
+ installPreferenceStoreBackwardsCompatibility();
+
+// AllTypesCache.initialize();
+
+ // Initialize AST provider
+// getASTProvider();
+ }
+// public void startup() throws CoreException {
+// super.startup();
+// // begin JavaCore.startup();
+// JavaModelManager manager = JavaModelManager.getJavaModelManager();
+// try {
+// manager.configurePluginDebugOptions();
+// // request state folder creation (workaround 19885)
+// // JavaCore.getPlugin().getStateLocation();
+// getStateLocation();
+// // retrieve variable values
+// // JavaCore.getPlugin().getPluginPreferences().addPropertyChangeListener(new
+// // JavaModelManager.PluginPreferencesListener());
+// getPluginPreferences().addPropertyChangeListener(
+// new JavaModelManager.PluginPreferencesListener());
+// // TODO khartlage temp-del
+// // manager.loadVariablesAndContainers();
+// final IWorkspace workspace = ResourcesPlugin.getWorkspace();
+// workspace.addResourceChangeListener(
+// manager.deltaState,
+// IResourceChangeEvent.PRE_BUILD
+// | IResourceChangeEvent.POST_BUILD
+// | IResourceChangeEvent.POST_CHANGE
+// | IResourceChangeEvent.PRE_DELETE
+// | IResourceChangeEvent.PRE_CLOSE);
+// // startIndexing();
+// workspace.addSaveParticipant(PHPeclipsePlugin.getDefault(), manager);
+// } catch (CoreException e) {
+// } catch (RuntimeException e) {
+// manager.shutdown();
+// throw e;
+// }
+// // end JavaCore.startup();
+// IAdapterManager platformManager = Platform.getAdapterManager();
+// platformManager.registerAdapters(new PHPElementAdapterFactory(),
+// PHPElement.class);
+// platformManager.registerAdapters(new ResourceAdapterFactory(),
+// IResource.class);
+// // externalTools.startUp();
+// getStandardDisplay().asyncExec(new Runnable() {
+// public void run() {
+// //initialize the variable context manager
+// VariableContextManager.getDefault();
+// }
+// });
+// }
+
+
+ private void registerAdapters() {
+ fJavaElementAdapterFactory= new JavaElementAdapterFactory();
+// fMarkerAdapterFactory= new MarkerAdapterFactory();
+// fEditorInputAdapterFactory= new EditorInputAdapterFactory();
+ fResourceAdapterFactory= new ResourceAdapterFactory();
+// fLogicalPackageAdapterFactory= new LogicalPackageAdapterFactory();
+
+ IAdapterManager manager= Platform.getAdapterManager();
+ manager.registerAdapters(fJavaElementAdapterFactory, IJavaElement.class);
+// manager.registerAdapters(fMarkerAdapterFactory, IMarker.class);
+// manager.registerAdapters(fEditorInputAdapterFactory, IEditorInput.class);
+ manager.registerAdapters(fResourceAdapterFactory, IResource.class);
+// manager.registerAdapters(fLogicalPackageAdapterFactory, LogicalPackage.class);
+ }
+
+ private void unregisterAdapters() {
+ IAdapterManager manager= Platform.getAdapterManager();
+ manager.unregisterAdapters(fJavaElementAdapterFactory);
+// manager.unregisterAdapters(fMarkerAdapterFactory);
+// manager.unregisterAdapters(fEditorInputAdapterFactory);
+ manager.unregisterAdapters(fResourceAdapterFactory);
+// manager.unregisterAdapters(fLogicalPackageAdapterFactory);
+ }
+
+ /**
+ * Returns a combined preference store, this store is read-only.
+ *
+ * @return the combined preference store
+ *
+ * @since 3.0
+ */
+ public IPreferenceStore getCombinedPreferenceStore() {
+ if (fCombinedPreferenceStore == null) {
+ IPreferenceStore generalTextStore= EditorsUI.getPreferenceStore();
+ fCombinedPreferenceStore= new ChainedPreferenceStore(new IPreferenceStore[] { getPreferenceStore(), new PreferencesAdapter(JavaCore.getPlugin().getPluginPreferences()), generalTextStore });
+ }
+ return fCombinedPreferenceStore;
+ }
+
+ public synchronized IBufferFactory getBufferFactory() {
+ if (fBufferFactory == null)
+ fBufferFactory= new CustomBufferFactory();
+ return fBufferFactory;
+ }
+ /**
+ * Returns the registry of the extensions to the <code>org.eclipse.jdt.ui.javaFoldingStructureProvider</code>
+ * extension point.
+ *
+ * @return the registry of contributed <code>IJavaFoldingStructureProvider</code>
+ * @since 3.0
+ */
+ public synchronized JavaFoldingStructureProviderRegistry getFoldingStructureProviderRegistry() {
+ if (fFoldingStructureProviderRegistry == null)
+ fFoldingStructureProviderRegistry= new JavaFoldingStructureProviderRegistry();
+ return fFoldingStructureProviderRegistry;
+ }
}
\ No newline at end of file
git://git.phpeclipse.com / phpeclipse.git / blobdiff