Module jEdit

Class GrabKeyDialog

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible, RootPaneContainer, WindowConstants

public class GrabKeyDialog extends JDialog
A dialog for getting shortcut keys.
See Also:
  • Constructor Details

    • GrabKeyDialog

      public GrabKeyDialog(Dialog parent, GrabKeyDialog.KeyBinding binding, List<GrabKeyDialog.KeyBinding> allBindings, Buffer debugBuffer)
      Create and show a new modal dialog.
      Parameters:
      parent - center dialog on this component.
      binding - the action/macro that should get a binding.
      allBindings - all other key bindings.
      debugBuffer - debug info will be dumped to this buffer (may be null)
      Since:
      jEdit 4.1pre7
    • GrabKeyDialog

      public GrabKeyDialog(Frame parent, GrabKeyDialog.KeyBinding binding, List<GrabKeyDialog.KeyBinding> allBindings, Buffer debugBuffer)
      Create and show a new modal dialog.
      Parameters:
      parent - center dialog on this component.
      binding - the action/macro that should get a binding.
      allBindings - all other key bindings.
      debugBuffer - debug info will be dumped to this buffer (may be null)
      Since:
      jEdit 4.1pre7
  • Method Details

    • getShortcut

      public String getShortcut()
      Returns the shortcut, or null if the current shortcut should be removed or the dialog either has been cancelled. Use isOK() to determine if the latter is true.
    • isOK

      public boolean isOK()
      Returns true, if the dialog has not been cancelled.
      Since:
      jEdit 3.2pre9
    • getFocusTraversalKeysEnabled

      public boolean getFocusTraversalKeysEnabled()
      Makes the tab key work in Java 1.4.
      Overrides:
      getFocusTraversalKeysEnabled in class Component
      Since:
      jEdit 3.2pre4
    • processKeyEvent

      protected void processKeyEvent(KeyEvent evt)
      Overrides:
      processKeyEvent in class Component
    • getSymbolicName

      public static String getSymbolicName(int keyCode)