|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jedit.keymap.KeymapManagerImpl
public class KeymapManagerImpl
The default keymap manager implementation.
Nested Class Summary |
---|
Nested classes/interfaces inherited from interface org.jedit.keymap.KeymapManager |
---|
KeymapManager.State |
Field Summary |
---|
Fields inherited from interface org.jedit.keymap.KeymapManager |
---|
DEFAULT_KEYMAP_NAME |
Constructor Summary | |
---|---|
KeymapManagerImpl(IPropertyManager propertyManager,
java.io.File systemKeymapFolder,
java.io.File userKeymapFolder)
|
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 |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public KeymapManagerImpl(IPropertyManager propertyManager, java.io.File systemKeymapFolder, java.io.File userKeymapFolder)
Method Detail |
---|
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 name
null
is returnedpublic KeymapManager.State getKeymapState(java.lang.String name)
KeymapManager
getKeymapState
in interface KeymapManager
name
- the name of the keymap
public 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
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |