Class | Description |
---|---|
EditHistoryManager |
A class that manages undo, redo, undo tree and other aspects of editing
history.
|
HintManager |
Class for generating autocompletion of the CLUC code.
|
JumpHistoryManager |
A class that manages jumplist (list of lately focused
GUIelement s. |
MappingManager |
This class handles mappings, which are a feature, that allows to react to a
sequence of key presses, as if a different sequence of key presses was
pressed instead.
|
PropertyManager |
Class for managing properties of all the different GUI elements...
|