From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 7 Jul 2007 12:42:02 +0000 (+0000)
Subject: Added appropriate window_type_hint to the splash window.
X-Git-Tag: sav-api~1413
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3b3131d18a2dc8ad24d53d3a9502ed7a0096f858;p=pspp

Added appropriate window_type_hint to the splash window.
---

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 4fc21595be..6a38d7259e 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -41,6 +41,9 @@ create_splash_window (void)
   gtk_window_set_position (GTK_WINDOW (splash),
 			   GTK_WIN_POS_CENTER_ALWAYS);
 
+  gtk_window_set_type_hint (GTK_WINDOW (splash),
+			    GDK_WINDOW_TYPE_HINT_SPLASHSCREEN);
+
   image = gtk_image_new_from_file (PKGDATADIR "/splash.png");
 
   gtk_container_add (GTK_CONTAINER (splash), image);