Uses of Class
org.gjt.sp.jedit.EditPlugin
-
Packages that use EditPlugin Package Description org.gjt.sp.jedit This package contains jEdit 4's core classes. -
-
Uses of EditPlugin in org.gjt.sp.jedit
Subclasses of EditPlugin in org.gjt.sp.jedit Modifier and Type Class Description classEBPluginPlugins extending this class are automatically added to the EditBus.static classEditPlugin.BrokenA placeholder for a plugin that didn't load.static classEditPlugin.DeferredA placeholder for a plugin that hasn't been loaded yet.Methods in org.gjt.sp.jedit that return EditPlugin Modifier and Type Method Description static EditPluginjEdit. getPlugin(java.lang.String name)Returns the plugin with the specified class name.static EditPluginjEdit. getPlugin(java.lang.String name, boolean loadIfNecessary)Returns the plugin with the specified class name.EditPluginPluginJAR. getPlugin()Returns the plugin core class for this JAR file.static EditPlugin[]jEdit. getPlugins()Returns an array of installed plugins.Methods in org.gjt.sp.jedit with parameters of type EditPlugin Modifier and Type Method Description static java.io.FileEditPlugin. getPluginHome(EditPlugin plugin)Returns the home of the specified plugin.static java.io.OutputStreamEditPlugin. getResourceAsOutputStream(EditPlugin plugin, java.lang.String path)Returns an output stream to the specified resource, ornullif access to that resource is denied.static java.io.InputStreamEditPlugin. getResourceAsStream(EditPlugin plugin, java.lang.String path)Returns an input stream to the specified resource, ornullif none is found.static java.io.FileEditPlugin. getResourcePath(EditPlugin plugin, java.lang.String path)Returns the full path of the specified plugin resource.Method parameters in org.gjt.sp.jedit with type arguments of type EditPlugin Modifier and Type Method Description static java.io.FileEditPlugin. getPluginHome(java.lang.Class<? extends EditPlugin> clazz)Returns the home of the specified plugin.static java.io.OutputStreamEditPlugin. getResourceAsOutputStream(java.lang.Class<? extends EditPlugin> clazz, java.lang.String path)Returns an output stream to the specified resource, ornullif access to that resource is denied.static java.io.InputStreamEditPlugin. getResourceAsStream(java.lang.Class<? extends EditPlugin> clazz, java.lang.String path)Returns an input stream to the specified resource, ornullif none is found.static java.io.FileEditPlugin. getResourcePath(java.lang.Class<? extends EditPlugin> clazz, java.lang.String path)Returns the full path of the specified plugin resource.
-