Uses of Class
org.gjt.sp.jedit.EditPlugin
-
Uses of EditPlugin in org.gjt.sp.jedit
Modifier and TypeClassDescriptionclass
Plugins extending this class are automatically added to the EditBus.static class
A placeholder for a plugin that didn't load.static class
A placeholder for a plugin that hasn't been loaded yet.Modifier and TypeMethodDescriptionstatic EditPlugin
Returns the plugin with the specified class name.static EditPlugin
Returns the plugin with the specified class name.PluginJAR.getPlugin()
Returns the plugin core class for this JAR file.static EditPlugin[]
jEdit.getPlugins()
Returns an array of installed plugins.Modifier and TypeMethodDescriptionstatic File
EditPlugin.getPluginHome
(EditPlugin plugin) Returns the home of the specified plugin.static OutputStream
EditPlugin.getResourceAsOutputStream
(EditPlugin plugin, String path) Returns an output stream to the specified resource, ornull
if access to that resource is denied.static InputStream
EditPlugin.getResourceAsStream
(EditPlugin plugin, String path) Returns an input stream to the specified resource, ornull
if none is found.static File
EditPlugin.getResourcePath
(EditPlugin plugin, String path) Returns the full path of the specified plugin resource.Modifier and TypeMethodDescriptionstatic File
EditPlugin.getPluginHome
(Class<? extends EditPlugin> clazz) Returns the home of the specified plugin.static OutputStream
EditPlugin.getResourceAsOutputStream
(Class<? extends EditPlugin> clazz, String path) Returns an output stream to the specified resource, ornull
if access to that resource is denied.static InputStream
EditPlugin.getResourceAsStream
(Class<? extends EditPlugin> clazz, String path) Returns an input stream to the specified resource, ornull
if none is found.static File
EditPlugin.getResourcePath
(Class<? extends EditPlugin> clazz, String path) Returns the full path of the specified plugin resource.