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