[Bprocessor-commit] gui/src/net/sourceforge/bprocessor/gui GUI.java,1.8,1.9
Status: Pre-Alpha
Brought to you by:
henryml
From: Michael L. <he...@us...> - 2005-10-21 08:42:56
|
Update of /cvsroot/bprocessor/gui/src/net/sourceforge/bprocessor/gui In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5293/src/net/sourceforge/bprocessor/gui Modified Files: GUI.java Log Message: Delays showing the GUI window until the GLView is done with initialisation. Displays a SplashWindow on startup, that are removed when the GUI window is displayed. Index: GUI.java =================================================================== RCS file: /cvsroot/bprocessor/gui/src/net/sourceforge/bprocessor/gui/GUI.java,v retrieving revision 1.8 retrieving revision 1.9 diff -C2 -d -r1.8 -r1.9 *** GUI.java 20 Sep 2005 17:21:45 -0000 1.8 --- GUI.java 21 Oct 2005 08:42:47 -0000 1.9 *************** *** 21,24 **** --- 21,25 ---- import net.sourceforge.bprocessor.gui.attrview.AttributeView; import net.sourceforge.bprocessor.gui.properties.Settings; + import net.sourceforge.bprocessor.gui.splash.SplashWindow; import net.sourceforge.bprocessor.gui.treeview.SpacesTreeView; import net.sourceforge.bprocessor.gui.treeview.SurfacesTreeView; *************** *** 27,30 **** --- 28,32 ---- import java.awt.Component; import java.awt.event.KeyEvent; + import javax.swing.JFrame; import javax.swing.JMenu; *************** *** 34,37 **** --- 36,40 ---- import javax.swing.JSplitPane; import javax.swing.JTabbedPane; + import javax.swing.JWindow; import javax.swing.ToolTipManager; import javax.swing.JPopupMenu; *************** *** 54,57 **** --- 57,64 ---- /** The middle/right split pane */ private JSplitPane splitPaneMiddleRight; + + /** The splash */ + + private JWindow plash; /** SPLIT_LEFT */ *************** *** 316,323 **** --- 323,343 ---- */ public void start() { + plash = new SplashWindow("sagradafamilia.png", null); + Settings settings = Settings.getInstance(); settings.load(); setSize(800, 600); + } + + /** + * Show the GUI + */ + public void present() { + if (plash != null) { + plash.setVisible(false); + plash.dispose(); + plash = null; + } setVisible(true); } |