Module jEdit

Package org.jedit.keymap

Class KeymapManagerImpl

java.lang.Object

org.jedit.keymap.KeymapManagerImpl

All Implemented Interfaces:

KeymapManager

public class KeymapManagerImpl
extends Object
implements KeymapManager

The default keymap manager implementation.

Since:

jEdit 5.0

Author:

Matthieu Casanova

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, File systemKeymapFolder, File userKeymapFolder)

Method Summary

Modifier and Type	Method	Description
boolean	copyKeymap(String name, String newName)	Copy the keymap to another one
void	deleteUserKeymap(String name)	Delete a user keymap.
Keymap	getKeymap()	Returns the current keymap.
Keymap	getKeymap(String name)	Returns the keymap with that name.
Collection<String>	getKeymapNames()
KeymapManager.State	getKeymapState(String name)	Returns the state of the keymap
void	reload()
void	resetKeymap(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 Details

KeymapManagerImpl

public KeymapManagerImpl(IPropertyManager propertyManager,
 File systemKeymapFolder,
 File userKeymapFolder)

Method Details

getKeymap

public Keymap getKeymap()

Description copied from interface: KeymapManager

Returns the current keymap.

Specified by:

getKeymap in interface KeymapManager

Returns:

the current keymap

getKeymapNames

public Collection<String> getKeymapNames()

Specified by:

getKeymapNames in interface KeymapManager

getKeymap

public Keymap getKeymap(String name)

Description copied from interface: KeymapManager

Returns the keymap with that name.

Specified by:

getKeymap in interface KeymapManager

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

public KeymapManager.State getKeymapState(String name)

Description copied from interface: KeymapManager

Returns the state of the keymap

Specified by:

getKeymapState in interface KeymapManager

Parameters:

name - the name of the keymap

Returns:

a state.

resetKeymap

public void resetKeymap(String name)

Description copied from interface: KeymapManager

Reset the keymap to it's original state if it was a modified system keymap

Specified by:

resetKeymap in interface KeymapManager

Parameters:

name - the keymap name

deleteUserKeymap

public void deleteUserKeymap(String name)

Description copied from interface: KeymapManager

Delete a user keymap.

Specified by:

deleteUserKeymap in interface KeymapManager

Parameters:

name - the keymap name

copyKeymap

public boolean copyKeymap(String name,
 String newName)

Description copied from interface: KeymapManager

Copy the keymap to another one

Specified by:

copyKeymap in interface KeymapManager

Parameters:

name - the original keymap

newName - the new keymap

reload

public void reload()

Specified by:

reload in interface KeymapManager