guiserver/java/SplashWindow.java

   1 //
   2 //  SplashWindow.java
   3 //  guiserver
   4 //
   5 //  Created by Lutz Mueller on 6/16/07.
   6 //
   7 //
   8 //    Copyright (C) 2007 Lutz Mueller
   9 //
  10 //    This program is free software: you can redistribute it and/or modify
  11 //    it under the terms of the GNU General Public License as published by
  12 //    the Free Software Foundation, either version 3 of the License, or
  13 //    (at your option) any later version.
  14 //
  15 //    This program is distributed in the hope that it will be useful,
  16 //    but WITHOUT ANY WARRANTY; without even the implied warranty of
  17 //    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  18 //    GNU General Public License for more details.
  19 //
  20 //    You should have received a copy of the GNU General Public License
  21 //    along with this program.  If not, see <http://www.gnu.org/licenses/>.
  22 //
  23
  24
  25 import java.awt.*;
  26 import java.awt.event.*;
  27 import javax.swing.*;
  28 import java.util.*;
  29
  30 @SuppressWarnings("unchecked")
  31 class SplashWindow extends Window
  32 {
  33 int width;
  34 int height;
  35 Image splashImage;
  36 Window splash;
  37
  38 public SplashWindow(Window parent, Image splashImage)
  39   {
  40   super(parent);
  41   splash = this;
  42   this.splashImage =  splashImage;
  43   width = splashImage.getWidth(this) + 2;
  44   height = splashImage.getHeight(this) + 2;
  45   setSize(width, height);
  46   Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();
  47   setLocation((screen.width - width)/2, (screen.height - height)/2);
  48   if(guiserver.MAC_OS_X)
  49         this.setBackground(new Color(0, 0, 0, 0));
  50   setVisible(true);
  51   addMouseListener(new MouseAdapter () {
  52     public void mousePressed(MouseEvent e) { splash.dispose(); }
  53     });
  54   }
  55
  56 public void paint(Graphics g)
  57   {
  58   if(guiserver.MAC_OS_X)
  59         {
  60         g.setColor(new Color(0, 0, 0, 0));
  61         g.fillRect(0, 0, width, height);
  62         System.out.println("mac os x");
  63         }
  64   else
  65         {
  66         g.setColor(Color.lightGray);
  67         g.fill3DRect(0, 0, width, height, true);
  68         }
  69   if(splashImage != null)
  70     g.drawImage(splashImage,1,1,this);
  71   }
  72 }
  73
  74
  75 // eof //