Package | Description |
---|---|
InstrumentationPlatformGUI | |
InstrumentationPlatformGUI.Elements | |
InstrumentationPlatformGUI.Managers |
Modifier and Type | Method and Description |
---|---|
Position |
EditAction.getPosition()
Get the Position object, assigned to this action.
|
Modifier and Type | Method and Description |
---|---|
Position |
GUIPanel.getCurrentPosition()
Return the Position object, representing which tab the user is currently
on, and which component is currently focused.
|
Modifier and Type | Method and Description |
---|---|
void |
GUIPanel.setCurrentPosition(Position p)
Set the Position object, representing which tab the user is currently on,
and which component is currently focused.
|
Modifier and Type | Method and Description |
---|---|
Position |
JumpHistoryManager.getNextPosition()
Return the
Position object, determining the next focused GUIelement . |
Position |
JumpHistoryManager.getPreviousPosition()
Return the
Position object, determining the last focused GUIelement . |