## 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