
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.
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.