Package | Description |
---|---|
alice.tuprologx.ide |
Modifier and Type | Method and Description |
---|---|
ConsoleDialog |
ConsoleManager.getDialog() |
Modifier and Type | Method and Description |
---|---|
void |
TheoryTabbedPane.setConsoleDialog(ConsoleDialog consoleDialog) |
void |
ConsoleManager.setDialog(ConsoleDialog dialog) |