[ jEdit-users ] programmatic definition of short cut key maping.

[Mauro Z. <mza...@ya...>]

Hello all.

I am looking for a way to programmatically define a new set of key 
bindings to replace the default shortcuts defined in
Global Options Shortcuts.
The intent is to switch between the new key bindings and the original.

Where might I look to so this?

Mauro.