01: /*BEGIN_COPYRIGHT_BLOCK
02: *
03: * Copyright (c) 2001-2007, JavaPLT group at Rice University (javaplt@rice.edu)
04: * All rights reserved.
05: *
06: * Redistribution and use in source and binary forms, with or without
07: * modification, are permitted provided that the following conditions are met:
08: * * Redistributions of source code must retain the above copyright
09: * notice, this list of conditions and the following disclaimer.
10: * * Redistributions in binary form must reproduce the above copyright
11: * notice, this list of conditions and the following disclaimer in the
12: * documentation and/or other materials provided with the distribution.
13: * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
14: * names of its contributors may be used to endorse or promote products
15: * derived from this software without specific prior written permission.
16: *
17: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18: * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19: * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20: * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
21: * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
22: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
23: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
24: * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
25: * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
26: * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
27: * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28: *
29: * This software is Open Source Initiative approved Open Source Software.
30: * Open Source Initative Approved is a trademark of the Open Source Initiative.
31: *
32: * This file is part of DrJava. Download the current version of this project
33: * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
34: *
35: * END_COPYRIGHT_BLOCK*/
36:
37: package edu.rice.cs.drjava.ui;
38:
39: import javax.swing.*;
40: import java.awt.*;
41: import java.awt.event.*;
42:
43: /**
44: * A splash screen window to be displayed as DrJava is first starting up.
45: * @version $Id: SplashScreen.java 4255 2007-08-28 19:17:37Z mgricken $
46: */
47: public class SplashScreen extends JWindow {
48: private static final String SPLASH_ICON = "splash.png";
49: private static final int PAUSE_TIME = 4000; // in milliseconds
50:
51: private ImageIcon _icon;
52:
53: /** Creates a new splash screen, but does not display it. Display the splash screen using show() and close it
54: * with dispose().
55: */
56: public SplashScreen() {
57: _icon = MainFrame.getIcon(SPLASH_ICON);
58: getContentPane().add(new JLabel(_icon, SwingConstants.CENTER));
59: setSize(_icon.getIconWidth(), _icon.getIconHeight());
60: //for multi-monitor support
61: //Question: do we want it to popup on the first monitor always?
62: GraphicsDevice[] dev = GraphicsEnvironment
63: .getLocalGraphicsEnvironment().getScreenDevices();
64: Rectangle rec = dev[0].getDefaultConfiguration().getBounds();
65: Point ownerLoc = rec.getLocation();
66: Dimension ownerSize = rec.getSize();
67: Dimension frameSize = getSize();
68: setLocation(ownerLoc.x + (ownerSize.width - frameSize.width)
69: / 2, ownerLoc.y + (ownerSize.height - frameSize.height)
70: / 2);
71: }
72:
73: /** Display the splash screen, and schedule it to be removed after a delay. This does not
74: * need to run on the event thread.
75: */
76: public void flash() {
77: setVisible(true);
78: repaint();
79: Timer cleanup = new Timer(PAUSE_TIME, new ActionListener() {
80: public void actionPerformed(ActionEvent e) {
81: dispose();
82: }
83: });
84: cleanup.setRepeats(false);
85: cleanup.start();
86: }
87:
88: }
|