Overview | Package | Class | Use | 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 | The ManagePanel is the JPanel that shows the installed plugins.
MirrorList |
MirrorList.Mirror |
PluginManager |

## Package org.gjt.sp.jedit.pluginmgr Description

The plugin manager.

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