org.gjt.sp.jedit.menu (jEdit API Documentation)
Date: 2015-10-20

# Package org.gjt.sp.jedit.menu

Classes for generation of dynamic menus

See: Description

- Interface Summary
  Interface | Description
  --- | ---
  DynamicMenuProvider | Interface for a pull-down menu whose contents are determined at runtime.

- Class Summary
  Class | Description
  --- | ---
  DirectoryProvider |
  EnhancedCheckBoxMenuItem | jEdit's custom menu item.
  EnhancedMenu |
  EnhancedMenu.EditBusStub |
  EnhancedMenuItem | jEdit's custom menu item.
  FavoritesProvider |
  MacrosProvider |
  MarkersProvider |
  MenuItemTextComparator | MenuItemTextComparator implements java.util.Comparator, and compares the text value of JMenuItems using the case-insensitive smart comparison of StandardUtilities.compareStrings.
  PluginsProvider |
  RecentDirectoriesProvider |
  RecentFilesProvider |
  ReloadWithEncodingProvider | Menu provider for actions to reload the current buffer with a specific encoding.

## Package org.gjt.sp.jedit.menu Description

Classes for generation of dynamic menus