Package | Description |
---|---|
org.jedit.keymap |
Named sets of keyboard shortcuts
|
Modifier and Type | Method and Description |
---|---|
Keymap |
KeymapManagerImpl.getKeymap() |
Keymap |
KeymapManager.getKeymap()
Returns the current keymap.
|
Keymap |
KeymapManagerImpl.getKeymap(java.lang.String name) |
Keymap |
KeymapManager.getKeymap(java.lang.String name)
Returns the keymap with that name.
|