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