public interface KeymapManager
| Modifier and Type | Interface and Description | 
|---|---|
| static class  | KeymapManager.StateThe states of the keymaps | 
| Modifier and Type | Field and Description | 
|---|---|
| static java.lang.String | DEFAULT_KEYMAP_NAME | 
| Modifier and Type | Method and 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