|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectfi.hut.tml.xsmiles.GUIManager
This class manages switching of GUIs. The initiation is done with the java.lang.reflect classes, so that we don't have to even have all the GUIs, for the system to function. GUI configuration stuff in config.xml
| Field Summary | |
java.lang.String |
currentGUI
|
java.lang.String |
initialGUI
|
int |
numGUIs
|
| Constructor Summary | |
GUIManager(BrowserWindow browser)
Constructs GUI class. |
|
| Method Summary | |
void |
createMainGUI()
Creates the initial GUI |
void |
createMainGUI(boolean b)
|
protected void |
destroyOldGui()
nullify? why? |
ComponentFactory |
getComponentFactory()
|
GUI |
getCurrentGUI()
|
java.lang.String |
getCurrentGUIName()
|
java.util.Vector |
getGUINames()
|
int |
getNumGUIs()
|
java.util.Vector |
getThemeNames()
|
void |
setCurrentGUIName(java.lang.String s)
Set the preferences of the GUI to a title corresponding the name in the configuration file. |
void |
showGUI(java.lang.String guiName)
|
void |
showGUI(java.lang.String guiName,
boolean reload)
Destroy old GUI, init new one and issue GUIChangedEvent so that MLFC's remember to update their MLFCToolboxes to the new gui |
void |
showGUI(java.lang.String guiName,
boolean reload,
boolean destroyOld)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
public int numGUIs
public java.lang.String initialGUI
public java.lang.String currentGUI
| Constructor Detail |
public GUIManager(BrowserWindow browser)
browser - reference to the main BrowserWindow object| Method Detail |
public void showGUI(java.lang.String guiName,
boolean reload)
guiName - The name of the gui (see config.xml)reload - Reload document after gui visible
public void showGUI(java.lang.String guiName,
boolean reload,
boolean destroyOld)
public void showGUI(java.lang.String guiName)
public void createMainGUI()
public void createMainGUI(boolean b)
protected void destroyOldGui()
public GUI getCurrentGUI()
public java.util.Vector getGUINames()
public java.util.Vector getThemeNames()
public int getNumGUIs()
public java.lang.String getCurrentGUIName()
public void setCurrentGUIName(java.lang.String s)
s - The title of the GUI corresponding to the one in config.xmlpublic ComponentFactory getComponentFactory()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||