Modifier and Type | Method and Description |
---|---|
GUIPanel |
GUIAction.getGUIPanel() |
Modifier and Type | Method and Description |
---|---|
void |
EditAction.doActionWithHandling(GUIPanel gp) |
void |
GUIAction.doActionWithHandling(GUIPanel gp)
Call doAction, optionally also doing some other stuff, such as
reseting the repeat count or calling undo system related functionality.
|
void |
JumpAction.doActionWithHandling(GUIPanel gp) |
static GUICompiler |
InterpreterFacade.prepareCompiler(GUIPanel gp) |
Constructor and Description |
---|
PacketHandler(GUIPanel gp) |
RequestNew(int[] arr,
GUIPanel gp) |
SerialCommunicator(GUIPanel gp) |
Modifier and Type | Method and Description |
---|---|
static void |
Request.setGUIPanel(GUIPanel gp)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
GUIPanel |
GUIVirtualMachine.getGUIPanel() |
Modifier and Type | Method and Description |
---|---|
void |
GUIVirtualMachine.setGUIPanel(GUIPanel gp) |
Constructor and Description |
---|
GUICompiler(GUIPanel gp) |
GUIVirtualMachine(GUIPanel gp) |
Modifier and Type | Method and Description |
---|---|
GUIPanel |
GUIKeyEventHandler.getGUIPanel() |
GUIPanel |
GUITab.getGUIPanel() |
GUIPanel |
GUIelement.getGUIPanel() |
Modifier and Type | Method and Description |
---|---|
void |
GUIChart.setGUIPanel(GUIPanel gup) |
void |
GUICheckBox.setGUIPanel(GUIPanel gup)
Deprecated.
|
void |
GUITab.setGUIPanel(GUIPanel gp)
Set the GUI panel this tab is on to the one provided.
|
void |
GUIelement.setGUIPanel(GUIPanel gup)
This method sets the containing GUI Panel of the GUI element.
|
Constructor and Description |
---|
GUITab(GUIPanel gp,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
GUIPanel |
Menu.getGUIPanel() |
Modifier and Type | Method and Description |
---|---|
void |
Menu.openSubMenuAction.doActionWithHandling(GUIPanel gp) |
void |
KeySequence.execute(GUIPanel gp)
Take the string representing this sequence, split it into the individual key presses
and send it to the
GUIPanel provided, using the handle(java.lang.String) method. |
void |
Menu.setGUIPanel(GUIPanel gp)
Set the
GUIPanel object, used to display this Menu . |
Constructor and Description |
---|
MainMenu(GUIPanel gp,
java.lang.String s)
Deprecated.
|
Menu(GUIPanel gp,
java.lang.String s,
boolean persistent) |
RegisterActionMenu(GUIPanel gp,
java.lang.String s)
Deprecated.
|
RegisterSelectionMenu(GUIPanel gp,
java.lang.String s,
RegisterAction ra) |
RegisterSelectionMenu(GUIPanel gp,
java.lang.String s,
RegisterActionMenu ram) |
Modifier and Type | Method and Description |
---|---|
static EditHistoryManager |
EditHistoryManager.get(GUIPanel gp)
Singleton pattern getter.
|
static HintManager |
HintManager.get(GUIPanel gp)
Singleton getter
|
static JumpHistoryManager |
JumpHistoryManager.get(GUIPanel gp)
Singleton getter.
|
Constructor and Description |
---|
MappingManager(GUIPanel gp) |