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

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

Classes for generation of dynamic menus

See:
Description

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

Class Summary
DirectoryProvider |
EnhancedCheckBoxMenuItem | jEdit's custom menu item.
EnhancedMenu |
EnhancedMenu.EditBusStub |
EnhancedMenuItem | jEdit's custom menu item.
FavoritesProvider |
MacrosProvider |
MarkersProvider |
MenuItemTextComparator | MenuItemTextComparator implements java.util.Comparator, and compares the text value of JMenuItems using the case-insensitive smart comparison of StandardUtilities.compareStrings.
PluginsProvider |
RecentDirectoriesProvider |
RecentFilesProvider |
ReloadWithEncodingProvider | Menu provider for actions to reload the current buffer with a specific encoding.

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

Classes for generation of dynamic menus

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