Uses of Interface
org.gjt.sp.jedit.menu.DynamicMenuProvider

Packages that use DynamicMenuProvider

Package	Description
org.gjt.sp.jedit.menu

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