Uses of Interface
org.gjt.sp.jedit.menu.DynamicMenuProvider
-
Packages that use DynamicMenuProvider Package Description org.gjt.sp.jedit.menu Classes for generation of dynamic menus -
-
Uses of DynamicMenuProvider in org.gjt.sp.jedit.menu
Classes in org.gjt.sp.jedit.menu that implement DynamicMenuProvider 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.Fields in org.gjt.sp.jedit.menu declared as DynamicMenuProvider Modifier and Type Field Description protected DynamicMenuProvider
EnhancedMenu. provider
-