| org.eclipse.jsp.JspUIPlugin
| JspUIPlugin | | public class JspUIPlugin extends AbstractUIPlugin implements IResourceChangeListener(Code) | | |
| Field Summary | |
| final public static String | ID_PLUGIN
The id of the JavaFamilyExample plugin (value "org.eclipse.jdt.ui.examples.javafamily"). | | final public static String | JSP_TYPE
|
| Constructor Summary | |
| public | JspUIPlugin(IPluginDescriptor descriptor)
|
| ID_PLUGIN | | final public static String ID_PLUGIN(Code) | | The id of the JavaFamilyExample plugin (value "org.eclipse.jdt.ui.examples.javafamily").
|
| JspUIPlugin | | public JspUIPlugin(IPluginDescriptor descriptor)(Code) | |
Parameters:
descriptor - |
| controlJSPIndexing | | void controlJSPIndexing(boolean enable)(Code) | | |
| createImageRegistry | | protected ImageRegistry createImageRegistry()(Code) | | |
| getStandardDisplay | | public static Display getStandardDisplay()(Code) | | 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.
|
| initializeDefaultPreferences | | protected void initializeDefaultPreferences(IPreferenceStore prefs)(Code) | | |
| isJSPIndexingOn | | boolean isJSPIndexingOn()(Code) | | |
| jspAdded | | void jspAdded(IFile jspFile)(Code) | | |
| jspRemoved | | void jspRemoved(IFile jspFile)(Code) | | |
| resourceChanged | | public void resourceChanged(IResourceChangeEvent event)(Code) | | |
| shutdown | | public void shutdown()(Code) | | Shutdown the JspCore plug-in.
De-registers the resource changed listener.
See Also: org.eclipse.core.runtime.Plugin.shutdown |
|
|