Editor Keymap
While the services are the application level pattern to
extend functionality, editor extensions focus on the editor as a standalone
component.
Each keypress is assigned to a class ("EditorExtension"). Each extension may have one
string argument.
Important extensions are
- ExtAppAction which is able to call up various actions of
the outer application (this is AnyJ).
- ExtInsertString which allows to assign an arbitrary string to a keypress
- ExtInsertEvent which simply inserts the character delivered by the JDK with
the incoming KeyEvent (useful to work around internationalization problems).
Warning:
Since some of the extensions implement functionality internal to AnyJ, it may happen that AnyJ becomes unusable by manipulating the keyboard map. Shutdown AnyJ and delete all ".keymap" files
to force AnyJ to reset the changes.
Defining a new key-assignment:
- Select an extension in the listbox
- type the shortcut into the "new Key" textfield
- specify a parameter if necessary
- the menustring field is unused currently
- press "Add"