Package | Description |
---|---|
alice.tuprologx.ide |
Modifier and Type | Field and Description |
---|---|
protected FileIDE |
ToolBar.fileIDE |
Modifier and Type | Method and Description |
---|---|
FileIDE |
ToolBar.getFileIDE() |
FileIDE |
TheoryTabbedPane.getTheoryTitleNamesAt(int index) |
FileIDE |
JavaIOManager.loadFile() |
FileIDE |
JavaIOManager.saveFileAs(FileIDE fileIDE) |
Modifier and Type | Method and Description |
---|---|
FileIDE |
JavaIOManager.saveFileAs(FileIDE fileIDE) |
void |
ToolBar.setFileIDE(FileIDE fileIDE) |