Package | Description |
---|---|
InstrumentationPlatformGUI.Elements | |
InstrumentationPlatformGUI.Managers |
Class and Description |
---|
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.
|
Class and 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. |
PropertyManager
Class for managing properties of all the different GUI elements...
|