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