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.