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 and Description
static class	KeymapManager.State The states of the keymaps

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	DEFAULT_KEYMAP_NAME

Method Summary

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

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 null is 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 keymap

newName - the new keymap