Package org.jedit.keymap
Interface KeymapManager
-
- All Known Implementing Classes:
KeymapManagerImpl
public interface KeymapManager- Since:
- jEdit 5.0
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static classKeymapManager.StateThe states of the keymaps
-
Field Summary
Fields Modifier and Type Field Description static java.lang.StringDEFAULT_KEYMAP_NAME
-
Method Summary
All Methods Instance Methods Abstract 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
-
-
-
Field Detail
-
DEFAULT_KEYMAP_NAME
static final java.lang.String DEFAULT_KEYMAP_NAME
- See Also:
- Constant Field Values
-
-
Method Detail
-
getKeymap
Keymap getKeymap()
Returns the current keymap.- Returns:
- the current keymap
-
reload
void reload()
-
getKeymapNames
java.util.Collection<java.lang.String> getKeymapNames()
-
getKeymap
Keymap getKeymap(java.lang.String name)
Returns the keymap with that name.- 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
KeymapManager.State getKeymapState(java.lang.String name)
Returns the state of the keymap- Parameters:
name- the name of the keymap- Returns:
- a state.
-
resetKeymap
void resetKeymap(java.lang.String name)
Reset the keymap to it's original state if it was a modified system keymap- Parameters:
name- the keymap name
-
deleteUserKeymap
void deleteUserKeymap(java.lang.String name)
Delete a user keymap.- Parameters:
name- the keymap name
-
copyKeymap
boolean copyKeymap(java.lang.String name, java.lang.String newName)Copy the keymap to another one- Parameters:
name- the original keymapnewName- the new keymap
-
-