|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |