X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=6a38d7259ee4aaec22d75344958634783188326f;hb=077c3c1774fd75627783b407169d6884adcbe663;hp=4fc21595bedd3c442b8394aec1fa922ab5b15707;hpb=43b1296aafe7582e7dbe6c2b6a8b478d7d9b0fcf;p=pspp

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);