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 classDirectoryProviderclassFavoritesProviderclassMacrosProviderclassMarkersProviderclassPluginsProviderclassRecentDirectoriesProviderclassRecentFilesProviderclassReloadWithEncodingProviderMenu 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 DynamicMenuProviderEnhancedMenu. provider
-