KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > rice > cs > drjava > ui > SplashScreen


1 /*BEGIN_COPYRIGHT_BLOCK
2  *
3  * This file is part of DrJava. Download the current version of this project from http://www.drjava.org/
4  * or http://sourceforge.net/projects/drjava/
5  *
6  * DrJava Open Source License
7  *
8  * Copyright (C) 2001-2005 JavaPLT group at Rice University (javaplt@rice.edu). All rights reserved.
9  *
10  * Developed by: Java Programming Languages Team, Rice University, http://www.cs.rice.edu/~javaplt/
11  *
12  * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
13  * documentation files (the "Software"), to deal with the Software without restriction, including without limitation
14  * the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and
15  * to permit persons to whom the Software is furnished to do so, subject to the following conditions:
16  *
17  * - Redistributions of source code must retain the above copyright notice, this list of conditions and the
18  * following disclaimers.
19  * - Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the
20  * following disclaimers in the documentation and/or other materials provided with the distribution.
21  * - Neither the names of DrJava, the JavaPLT, Rice University, nor the names of its contributors may be used to
22  * endorse or promote products derived from this Software without specific prior written permission.
23  * - Products derived from this software may not be called "DrJava" nor use the term "DrJava" as part of their
24  * names without prior written permission from the JavaPLT group. For permission, write to javaplt@rice.edu.
25  *
26  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO
27  * THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
28  * CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
29  * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
30  * WITH THE SOFTWARE.
31  *
32  END_COPYRIGHT_BLOCK*/
33
34 package edu.rice.cs.drjava.ui;
35
36 import javax.swing.*;
37 import java.awt.*;
38 import java.awt.event.*;
39
40 /**
41  * A splash screen window to be displayed as DrJava is first starting up.
42  * @version $Id: SplashScreen.java 4070 2007-01-18 21:45:25Z dlsmith $
43  */
44 public class SplashScreen extends JWindow {
45   private static final String JavaDoc SPLASH_ICON = "splash.png";
46   private static final int PAUSE_TIME = 4000; // in milliseconds
47
48   private ImageIcon _icon;
49
50   /** Creates a new splash screen, but does not display it. Display the splash screen using show() and close it
51     * with dispose().
52     */
53   public SplashScreen() {
54     _icon = MainFrame.getIcon(SPLASH_ICON);
55     getContentPane().add(new JLabel(_icon, SwingConstants.CENTER));
56     setSize(_icon.getIconWidth(), _icon.getIconHeight());
57     //for multi-monitor support
58 //Question: do we want it to popup on the first monitor always?
59 GraphicsDevice[] dev = GraphicsEnvironment.getLocalGraphicsEnvironment().getScreenDevices();
60     Rectangle rec = dev[0].getDefaultConfiguration().getBounds();
61     Point ownerLoc = rec.getLocation();
62     Dimension ownerSize = rec.getSize();
63     Dimension frameSize = getSize();
64     setLocation(ownerLoc.x + (ownerSize.width - frameSize.width) / 2,
65                 ownerLoc.y + (ownerSize.height - frameSize.height) / 2);
66   }
67   
68   /** Display the splash screen, and schedule it to be removed after a delay. This does not
69     * need to run on the event thread.
70     */
71   public void flash() {
72     setVisible(true);
73     repaint();
74     Timer cleanup = new Timer(PAUSE_TIME, new ActionListener() {
75       public void actionPerformed(ActionEvent e) {
76         dispose();
77       }
78     });
79     cleanup.setRepeats(false);
80     cleanup.start();
81   }
82   
83 }
84
Popular Tags