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

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
EnhancedMenuItem: jEdit's custom menu item.
FavoritesProvider
MacrosProvider
MarkersProvider
PluginsProvider
RecentDirectoriesProvider
RecentFilesProvider
ReloadWithEncodingProvider: Menu provider for actions to reload the current buffer with a specific encoding.