Package | Description |
---|---|
org.gjt.sp.jedit.menu |
Classes for generation of dynamic menus
|
Modifier and Type | Class | 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 | Description |
---|---|---|
protected DynamicMenuProvider |
EnhancedMenu.provider |