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

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