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

## Package org.gjt.sp.jedit.menu

Interface Summary
DynamicMenuProvider | Interface for a menu whose contents are determined at runtime.

Class Summary
DirectoryProvider |
EnhancedCheckBoxMenuItem | jEdit's custom menu item.
EnhancedMenu |
EnhancedMenuItem | jEdit's custom menu item.
FavoritesProvider |
MacrosProvider |
MarkersProvider |
PluginsProvider |
RecentDirectoriesProvider |
RecentFilesProvider |

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