public class KeymapManagerImpl extends java.lang.Object implements KeymapManager
KeymapManager.StateDEFAULT_KEYMAP_NAME| Constructor and Description |
|---|
KeymapManagerImpl(IPropertyManager propertyManager,
java.io.File systemKeymapFolder,
java.io.File userKeymapFolder) |
| 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
|
public KeymapManagerImpl(IPropertyManager propertyManager, java.io.File systemKeymapFolder, java.io.File userKeymapFolder)
public Keymap getKeymap()
KeymapManagergetKeymap in interface KeymapManagerpublic java.util.Collection<java.lang.String> getKeymapNames()
getKeymapNames in interface KeymapManagerpublic Keymap getKeymap(java.lang.String name)
KeymapManagergetKeymap in interface KeymapManagername - the keymap namenull is returnedpublic KeymapManager.State getKeymapState(java.lang.String name)
KeymapManagergetKeymapState in interface KeymapManagername - the name of the keymappublic void resetKeymap(java.lang.String name)
KeymapManagerresetKeymap in interface KeymapManagername - the keymap namepublic void deleteUserKeymap(java.lang.String name)
KeymapManagerdeleteUserKeymap in interface KeymapManagername - the keymap namepublic boolean copyKeymap(java.lang.String name,
java.lang.String newName)
KeymapManagercopyKeymap in interface KeymapManagername - the original keymapnewName - the new keymappublic void reload()
reload in interface KeymapManager