| Package | Description | 
|---|---|
| org.gjt.sp.jedit | This package contains jEdit 4's core classes. | 
| Modifier and Type | Class and Description | 
|---|---|
| class  | EBPluginPlugins extending this class are automatically added to the EditBus. | 
| static class  | EditPlugin.BrokenA placeholder for a plugin that didn't load. | 
| static class  | EditPlugin.DeferredA placeholder for a plugin that hasn't been loaded yet. | 
| Modifier and Type | Method and Description | 
|---|---|
| EditPlugin | PluginJAR. getPlugin()Returns the plugin core class for this JAR file. | 
| static EditPlugin | jEdit. getPlugin(java.lang.String name)Returns the plugin with the specified class name. | 
| static EditPlugin | jEdit. getPlugin(java.lang.String name,
         boolean loadIfNecessary)Returns the plugin with the specified class name. | 
| static EditPlugin[] | jEdit. getPlugins()Returns an array of installed plugins. | 
| Modifier and Type | Method and Description | 
|---|---|
| static java.io.File | EditPlugin. getPluginHome(EditPlugin plugin)Returns the home of the specified plugin. | 
| static java.io.OutputStream | EditPlugin. getResourceAsOutputStream(EditPlugin plugin,
                         java.lang.String path)Returns an output stream to the specified resource, or  nullif access
 to that resource is denied. | 
| static java.io.InputStream | EditPlugin. getResourceAsStream(EditPlugin plugin,
                   java.lang.String path)Returns an input stream to the specified resource, or  nullif none is found. | 
| static java.io.File | EditPlugin. getResourcePath(EditPlugin plugin,
               java.lang.String path)Returns the full path of the specified plugin resource. | 
| Modifier and Type | Method and Description | 
|---|---|
| static java.io.File | EditPlugin. getPluginHome(java.lang.Class<? extends EditPlugin> clazz)Returns the home of the specified plugin. | 
| static java.io.OutputStream | EditPlugin. getResourceAsOutputStream(java.lang.Class<? extends EditPlugin> clazz,
                         java.lang.String path)Returns an output stream to the specified resource, or  nullif access to that resource is denied. | 
| static java.io.InputStream | EditPlugin. getResourceAsStream(java.lang.Class<? extends EditPlugin> clazz,
                   java.lang.String path)Returns an input stream to the specified resource, or  nullif none is found. | 
| static java.io.File | EditPlugin. getResourcePath(java.lang.Class<? extends EditPlugin> clazz,
               java.lang.String path)Returns the full path of the specified plugin resource. |