Package org.gjt.sp.jedit.menu
Classes for generation of dynamic menus
-
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.