All predicatesShow sourcepce_keybinding.pl

Source binding(+ModeName, +TableName, +Modifications)[multifile]
Specify bindings for alternative key-binding-styles.
Arguments:
ModeName- Name of the key-binding-style
TableName- Syntax table to modify
Modifications- List of Key-Method
Source set_keybinding_style(+Id)[private]
Runtime modification of the current key-binding style.
Source current_style(-Style) is det[private]
Source 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.