Uses of Class
org.gjt.sp.jedit.pluginmgr.PluginManager
-
Uses of PluginManager in org.gjt.sp.jedit.pluginmgr
Modifier and TypeMethodDescriptionstatic PluginManager
PluginManager.getInstance()
Returns the currently visible plugin manager window, or null.