Package org.gjt.sp.jedit.pluginmgr

The plugin manager.

See:
          Description

Class Summary
PluginManager The plugin manager dialog box.
 

Package org.gjt.sp.jedit.pluginmgr Description

The plugin manager.