
pce_keybinding.pl
binding(+ModeName, +TableName, +Modifications)[multifile]- Specify bindings for alternative key-binding-styles.
set_keybinding_style(+Id)[private]- Runtime modification of the current key-binding style.
current_style(-Style) is det[private]
set_style(+Style) is det[private]- Manipulate the style. The style is stored in the class-variable key_binding.style, so it can be set in the users preferences file.