1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
#
# splashscreen.py: a quick splashscreen window that displays during ipl
#
# Matt Wilson <msw@redhat.com>
#
# Copyright 2001-2002 Red Hat, Inc.
#
# This software may be freely redistributed under the terms of the GNU
# library public license.
#
# You should have received a copy of the GNU Library Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
#
import os
os.environ["PYGTK_DISABLE_THREADS"] = "1"
os.environ["GNOME_DISABLE_CRASH_DIALOG"] = "1"
import gtk
from flags import flags
from rhpl.translate import cat
# for GTK+ 2.0
cat.setunicode(1)
splashwindow = None
def splashScreenShow(configFileData):
from gui import readImageFromFile
#set the background to a dark gray
if flags.setupFilesystems:
path = ("/usr/X11R6/bin/xsetroot",)
args = ("-solid", "gray45")
child = os.fork()
if (child == 0):
os.execv(path[0], path + args)
try:
pid, status = os.waitpid(child, 0)
except OSError, (errno, msg):
print __name__, "waitpid:", msg
root = gtk.gdk.get_default_root_window()
cursor = gtk.gdk.Cursor(gtk.gdk.LEFT_PTR)
root.set_cursor(cursor)
global splashwindow
width = gtk.gdk.screen_width()
p = None
# If the xserver is running at 800x600 res or higher, use the
# 800x600 splash screen.
if width >= 800:
p = readImageFromFile("pixmaps/first.png", dither = 1)
else:
p = readImageFromFile("pixmaps/first-lowres.png", dither = 1)
if p:
splashwindow = gtk.Window()
def no_delete (window, event):
return True
splashwindow.connect('delete-event', no_delete)
splashwindow.set_decorated(False)
splashwindow.set_position(gtk.WIN_POS_CENTER)
box = gtk.EventBox()
box.modify_bg(gtk.STATE_NORMAL, box.get_style().white)
box.add(p)
splashwindow.add(box)
box.show_all()
splashwindow.show_now()
gtk.gdk.flush()
while gtk.events_pending():
gtk.main_iteration(gtk.FALSE)
def splashScreenPop():
global splashwindow
if splashwindow:
splashwindow.destroy()
|
