Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package org.gjt.sp.jedit.pluginmgr

The plugin manager.

See:
          Description

Class Summary
ManagePanel  
MirrorList  
MirrorList.Mirror  
PluginList.Plugin  
PluginManager  
 

Package org.gjt.sp.jedit.pluginmgr Description

The plugin manager.

Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES