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