KeymapManagerImpl
public interface KeymapManager
Modifier and Type | Interface | Description |
---|---|---|
static class |
KeymapManager.State |
The states of the keymaps
|
Modifier and Type | Field | Description |
---|---|---|
static java.lang.String |
DEFAULT_KEYMAP_NAME |
Modifier and Type | Method | Description |
---|---|---|
boolean |
copyKeymap(java.lang.String name,
java.lang.String newName) |
Copy the keymap to another one
|
void |
deleteUserKeymap(java.lang.String name) |
Delete a user keymap.
|
Keymap |
getKeymap() |
Returns the current keymap.
|
Keymap |
getKeymap(java.lang.String name) |
Returns the keymap with that name.
|
java.util.Collection<java.lang.String> |
getKeymapNames() |
|
KeymapManager.State |
getKeymapState(java.lang.String name) |
Returns the state of the keymap
|
void |
reload() |
|
void |
resetKeymap(java.lang.String name) |
Reset the keymap to it's original state if it was a modified system keymap
|
static final java.lang.String DEFAULT_KEYMAP_NAME
Keymap getKeymap()
void reload()
java.util.Collection<java.lang.String> getKeymapNames()
Keymap getKeymap(java.lang.String name)
name
- the keymap namenull
is returnedKeymapManager.State getKeymapState(java.lang.String name)
name
- the name of the keymapvoid resetKeymap(java.lang.String name)
name
- the keymap namevoid deleteUserKeymap(java.lang.String name)
name
- the keymap nameboolean copyKeymap(java.lang.String name, java.lang.String newName)
name
- the original keymapnewName
- the new keymap