Module jEdit

Package org.gjt.sp.jedit.menu

package org.gjt.sp.jedit.menu

Related Packages

Package	Description
org.gjt.sp.jedit

Class	Description
DirectoryProvider
DynamicMenuProvider	Interface for a pull-down menu whose contents are determined at runtime.
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.