Module jEdit

Class EnhancedCheckBoxMenuItem

All Implemented Interfaces:
ImageObserver, ItemSelectable, MenuContainer, Serializable, Accessible, MenuElement, SwingConstants

public class EnhancedCheckBoxMenuItem extends JCheckBoxMenuItem
jEdit's custom menu item. It adds support for multi-key shortcuts.
See Also:
  • Constructor Details

    • EnhancedCheckBoxMenuItem

      public EnhancedCheckBoxMenuItem(String label, String action, ActionContext context)
      Creates a new menu item. Most plugins should call GUIUtilities.loadMenuItem() instead.
      Parameters:
      label - The menu item label
      action - The edit action
      context - An action context
      Since:
      jEdit 4.2pre1
  • Method Details