Package | Description |
---|---|
org.gjt.sp.jedit.menu |
Classes for generation of dynamic menus
|
Modifier and Type | Class and Description |
---|---|
class |
DirectoryProvider |
class |
FavoritesProvider |
class |
MacrosProvider |
class |
MarkersProvider |
class |
PluginsProvider |
class |
RecentDirectoriesProvider |
class |
RecentFilesProvider |
class |
ReloadWithEncodingProvider
Menu provider for actions to reload the current buffer with a
specific encoding.
|
Modifier and Type | Field and Description |
---|---|
protected DynamicMenuProvider |
EnhancedMenu.provider |