|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface KeymapManager
Nested Class Summary | |
---|---|
static class |
KeymapManager.State
The states of the keymaps |
Field Summary | |
---|---|
static java.lang.String |
DEFAULT_KEYMAP_NAME
|
Method Summary | |
---|---|
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 |
Field Detail |
---|
static final java.lang.String DEFAULT_KEYMAP_NAME
Method Detail |
---|
Keymap getKeymap()
void reload()
java.util.Collection<java.lang.String> getKeymapNames()
Keymap getKeymap(java.lang.String name)
name
- the keymap name
null
is returnedKeymapManager.State getKeymapState(java.lang.String name)
name
- the name of the keymap
void 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
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |