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  
ReloadWithEncodingProvider Menu provider for actions to reload the current buffer with a specific encoding.