Enhance the splash window handling.

Now the splash window is forced to stay on top. Hopes no users are going
to complain ;).
Additionally, the splash window is destroyed opposed to only hidden. As
it is not reused, there is no use in keeping it alive.

2 files changed, 9 insertions, 2 deletions

diff --git a/portato/gui/__init__.py b/portato/gui/__init__.py
index e3f1172..0a584a8 100644
--- a/portato/gui/__init__.py
+++ b/portato/gui/__init__.py
@@ -27,9 +27,11 @@ def run ():
     from .windows.main import MainWindow
     try:
         m = MainWindow(s)
-        s.hide()
+        s.destroy()
+        del s
+        
         m.main()
     except PreReqError, e:
         error("Prerequisite not matched. Aborting.")
         prereq_error_dialog(e)
-        s.hide()
+        s.destroy()
diff --git a/portato/gui/windows/splash.py b/portato/gui/windows/splash.py
index 39ba00d..c9e1542 100644
--- a/portato/gui/windows/splash.py
+++ b/portato/gui/windows/splash.py
@@ -40,6 +40,7 @@ class SplashScreen (Window):
             gtk.main_iteration()
     
     def show (self):
+        self.window.set_keep_above(True)
         self.window.show_all()
         self.do_iteration()
 
@@ -47,4 +48,8 @@ class SplashScreen (Window):
         self.window.hide()
         self.do_iteration()
 
+    def destroy(self):
+        self.window.destroy()
+        self.do_iteration()
+
     __call__ = set_descr