|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
| DynamicMenuProvider | Interface for a 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 | |
| PluginsProvider | |
| RecentDirectoriesProvider | |
| RecentFilesProvider | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||