public class KeymapManagerImpl extends java.lang.Object implements KeymapManager
KeymapManager.State
DEFAULT_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()
KeymapManager
getKeymap
in interface KeymapManager
public java.util.Collection<java.lang.String> getKeymapNames()
getKeymapNames
in interface KeymapManager
public Keymap getKeymap(java.lang.String name)
KeymapManager
getKeymap
in interface KeymapManager
name
- the keymap namenull
is returnedpublic KeymapManager.State getKeymapState(java.lang.String name)
KeymapManager
getKeymapState
in interface KeymapManager
name
- the name of the keymappublic void resetKeymap(java.lang.String name)
KeymapManager
resetKeymap
in interface KeymapManager
name
- the keymap namepublic void deleteUserKeymap(java.lang.String name)
KeymapManager
deleteUserKeymap
in interface KeymapManager
name
- the keymap namepublic boolean copyKeymap(java.lang.String name, java.lang.String newName)
KeymapManager
copyKeymap
in interface KeymapManager
name
- the original keymapnewName
- the new keymappublic void reload()
reload
in interface KeymapManager