Package | Description |
---|---|
InstrumentationPlatformGUI.Elements |
Modifier and Type | Method and Description |
---|---|
static MappingManager |
GUINumericUpDown.getElementTypeMappingManager() |
static MappingManager |
GUIelement.getElementTypeMappingManager()
Getter for the mapping manager for the specific type of GUI elements.
|
static MappingManager |
GUIelement.getGlobalElementMappingManager() |
MappingManager |
GUIPanel.getGlobalMappingManager()
Return the global mapping manager object, responsible for managing
mappings, that are active when no components are being edited.
|
MappingManager |
GUIelement.getThisInstanceMappingManager()
Getter for the mapping manager of the specific instance of a GUI element.
|