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.