Package org.jedit.keymap
Class KeymapManagerImpl
- java.lang.Object
-
- org.jedit.keymap.KeymapManagerImpl
-
- All Implemented Interfaces:
KeymapManager
public class KeymapManagerImpl extends java.lang.Object implements KeymapManager
The default keymap manager implementation.- Since:
- jEdit 5.0
-
-
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
Constructors Constructor Description KeymapManagerImpl(IPropertyManager propertyManager, java.io.File systemKeymapFolder, java.io.File userKeymapFolder)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleancopyKeymap(java.lang.String name, java.lang.String newName)Copy the keymap to another onevoiddeleteUserKeymap(java.lang.String name)Delete a user keymap.KeymapgetKeymap()Returns the current keymap.KeymapgetKeymap(java.lang.String name)Returns the keymap with that name.java.util.Collection<java.lang.String>getKeymapNames()KeymapManager.StategetKeymapState(java.lang.String name)Returns the state of the keymapvoidreload()voidresetKeymap(java.lang.String name)Reset the keymap to it's original state if it was a modified system keymap
-
-
-
Constructor Detail
-
KeymapManagerImpl
public KeymapManagerImpl(IPropertyManager propertyManager, java.io.File systemKeymapFolder, java.io.File userKeymapFolder)
-
-
Method Detail
-
getKeymap
public Keymap getKeymap()
Description copied from interface:KeymapManagerReturns the current keymap.- Specified by:
getKeymapin interfaceKeymapManager- Returns:
- the current keymap
-
getKeymapNames
public java.util.Collection<java.lang.String> getKeymapNames()
- Specified by:
getKeymapNamesin interfaceKeymapManager
-
getKeymap
public Keymap getKeymap(java.lang.String name)
Description copied from interface:KeymapManagerReturns the keymap with that name.- Specified by:
getKeymapin interfaceKeymapManager- Parameters:
name- the keymap name- Returns:
- the user keymap of that name, if it exists, or the system keymap if it doesn't.
If none exists
nullis returned
-
getKeymapState
public KeymapManager.State getKeymapState(java.lang.String name)
Description copied from interface:KeymapManagerReturns the state of the keymap- Specified by:
getKeymapStatein interfaceKeymapManager- Parameters:
name- the name of the keymap- Returns:
- a state.
-
resetKeymap
public void resetKeymap(java.lang.String name)
Description copied from interface:KeymapManagerReset the keymap to it's original state if it was a modified system keymap- Specified by:
resetKeymapin interfaceKeymapManager- Parameters:
name- the keymap name
-
deleteUserKeymap
public void deleteUserKeymap(java.lang.String name)
Description copied from interface:KeymapManagerDelete a user keymap.- Specified by:
deleteUserKeymapin interfaceKeymapManager- Parameters:
name- the keymap name
-
copyKeymap
public boolean copyKeymap(java.lang.String name, java.lang.String newName)Description copied from interface:KeymapManagerCopy the keymap to another one- Specified by:
copyKeymapin interfaceKeymapManager- Parameters:
name- the original keymapnewName- the new keymap
-
reload
public void reload()
- Specified by:
reloadin interfaceKeymapManager
-
-