Package | Description |
---|---|
gate | |
gate.gui |
Modifier and Type | Field and Description |
---|---|
protected static MainFrame |
Main.frame
Main Frame of the GUI; null when no GUI running
|
Modifier and Type | Method and Description |
---|---|
static MainFrame |
Main.getMainFrame()
Get the main frame of the GUI.
|
Modifier and Type | Method and Description |
---|---|
static MainFrame |
MainFrame.getInstance() |
static MainFrame |
MainFrame.getInstance(GraphicsConfiguration gc) |
Constructor and Description |
---|
BootStrapDialog(MainFrame aMainFrame) |
Copyright © 2024 GATE. All rights reserved.