Package | Description |
---|---|
org.ginsim.gui |
Definition of the GUIManager: provide access to all opened windows
|
org.ginsim.gui.shell |
Define the main shell: graph windows and common dialogs
|
Modifier and Type | Class and Description |
---|---|
class |
WhatToDoWithGraph
This class define a frame that is opened when a graph is computed from an other one.
|
Modifier and Type | Method and Description |
---|---|
Frame |
GUIManager.getFrame(Graph graph)
Give access to the Frame corresponding to the given Graph
|
Frame |
GUIManager.newFrame(Graph graph)
Build a new frame for the given Graph by creating a suitable GraphGUI and memorize their relationship
|
Frame |
GUIManager.newFrame(Graph graph,
boolean can_be_saved)
Build a new frame for the given Graph by creating a suitable GraphGUI and memorize their relationship
|
Modifier and Type | Class and Description |
---|---|
class |
AboutDialog
"About dialog" for GINsim
|
class |
MainFrame
GINsim's main frame shell.
|
Copyright © 2005–2020. All rights reserved.