Uses of Interface org.gjt.sp.jedit.menu.DynamicMenuProvider (jEdit API Documentation)
Date: 2018-04-10

## 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 and 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 and Description
    --- | ---
    `protected DynamicMenuProvider` | EnhancedMenu.`provider`