Uses of Class
org.gjt.sp.jedit.PluginJAR
-
Uses of PluginJAR in org.gjt.sp.jedit
Modifier and TypeMethodDescriptionActionSet.getPluginJAR()
EditPlugin.getPluginJAR()
static PluginJAR
jEdit.getPluginJAR
(String path) Returns the JAR with the specified path name.static PluginJAR[]
jEdit.getPluginJARs()
Returns an array of installed plugins.static PluginJAR
Loads a plugin, and its dependent plugins if necessary.Modifier and TypeMethodDescriptionstatic PluginJAR.PluginCacheEntry
PluginJAR.getPluginCache
(PluginJAR plugin) static void
ServiceManager.loadServices
(PluginJAR plugin, URL uri, PluginJAR.PluginCacheEntry cache) Loads aservices.xml
file.static void
ServiceManager.registerService
(String clazz, String name, String code, PluginJAR plugin) Registers a service.static void
jEdit.removePluginJAR
(PluginJAR jar, boolean exit) Unloads the given plugin JAR with the specified path.static void
ServiceManager.unloadServices
(PluginJAR plugin) Removes all services belonging to the specified plugin. -
Uses of PluginJAR in org.gjt.sp.jedit.gui
Modifier and TypeMethodDescriptionvoid
DockableWindowFactory.cacheDockableWindows
(PluginJAR plugin, String[] name, boolean[] actions, boolean[] movable) void
DockableWindowFactory.loadDockableWindows
(PluginJAR plugin, URL uri, PluginJAR.PluginCacheEntry cache) Plugins shouldn't need to call this method.void
DockableWindowFactory.registerDockableWindow
(PluginJAR plugin, String name, String code, boolean actions, boolean movable) void
DockableWindowFactory.unloadDockableWindows
(PluginJAR plugin) Plugins shouldn't need to call this method. -
Uses of PluginJAR in org.gjt.sp.jedit.msg
ModifierConstructorDescriptionPluginUpdate
(PluginJAR jar, Object what, boolean exit) Creates a new plugin update message.