Interface | Description |
---|---|
DynamicMenuProvider |
Interface for a pull-down menu whose contents are determined at runtime.
|
Class | Description |
---|---|
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.
|