org.jedit.keymap
Interface Keymap


public interface Keymap

Since:
jEdit 5.0

Method Summary
 java.lang.String getShortcut(java.lang.String name)
          Returns a shortcut.
 void save()
          Save the keymaps.
 void setShortcut(java.lang.String name, java.lang.String shortcut)
          Set a new shortcut.
 

Method Detail

getShortcut

java.lang.String getShortcut(java.lang.String name)
Returns a shortcut.

Parameters:
name - the shortcut name
Returns:
the action name or null if there is no shortcut

setShortcut

void setShortcut(java.lang.String name,
                 java.lang.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.