Package | Description |
---|---|
InstrumentationPlatformGUI.Elements | |
InstrumentationPlatformGUI.KeyInput |
Modifier and Type | Method and Description |
---|---|
Menu |
GUIKeyEventHandler.getMainMenu() |
Menu |
GUIPanel.getMenu() |
Menu |
GUIelement.getMenu() |
Modifier and Type | Method and Description |
---|---|
void |
GUIKeyEventHandler.setMainMenu(Menu m) |
void |
GUIPanel.setMenu(Menu m)
Set the currently active menu to the one provided.
|
void |
GUIelement.setMenu(Menu m)
Set the
Menu , which will get displayed whenever this
GUIelement is being edited. |
Modifier and Type | Class and Description |
---|---|
class |
MainMenu
Deprecated.
|
class |
RegisterActionMenu
Deprecated.
Now deprecated class, related to the old way register access was
handled. Still used in some places of the code, but should be removed ASAP.
|
class |
RegisterSelectionMenu
Menu that lets the user choose one register and then either runs a specific
RegisterAction, passing the name of the register to it, or opens a
RegisterActionMenu, passing the register name to it, so that when a
RegisterAction of the RegisterActionMenu is run later, it gets passed the
corresponding register.
|
Modifier and Type | Method and Description |
---|---|
Menu |
Menu.getSuperMenu() |
Modifier and Type | Method and Description |
---|---|
void |
Menu.addSubMenu(java.lang.String keystroke,
Menu m)
Add a submenu to this
Menu , scheduling it to open whenever
the sequence of keys, indicated by the provided string is pressed. |
void |
Menu.setSuperMenu(Menu superMenu)
Set the menu, which should be opened, when this one is closed.
|
Constructor and Description |
---|
openSubMenuAction(Menu m,
Menu superMenu) |