|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DynamicMenuProvider | |
---|---|
org.gjt.sp.jedit.menu |
Uses of DynamicMenuProvider in org.gjt.sp.jedit.menu |
---|
Classes in org.gjt.sp.jedit.menu that implement DynamicMenuProvider | |
---|---|
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. |
Fields in org.gjt.sp.jedit.menu declared as DynamicMenuProvider | |
---|---|
protected DynamicMenuProvider |
EnhancedMenu.provider
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |