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