Interface Keymap

public interface Keymap
Since:
jEdit 5.0
Author:
Matthieu Casanova

  • Method Details

    • getShortcut

      String getShortcut(String name)
      Returns a shortcut.
      Parameters:
      name - the shortcut name
      Returns:
      the action name or null if there is no shortcut

    • setShortcut

      void setShortcut(String name, String shortcut)
      Set a new shortcut.
      Parameters:
      name - the shortcut name
      shortcut - the action name, or null to delete a shortcut

    • save

      void save()
      Save the keymaps.