Respect the case_cnt field from sys file header. Closes patch #6092

[pspp-builds.git] / src / ui / gui / main.c

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 4fc21595bedd3c442b8394aec1fa922ab5b15707..bab489a5aad88b13072822e4b113df887b8094a4 100644 (file)
--- 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);
@@ -121,7 +124,7 @@ main (int argc, char *argv[])
   if ( show_splash )
     gtk_widget_show (splash_window);
 
-  gtk_idle_add (quit_one_loop, 0);
+  g_idle_add (quit_one_loop, 0);
 
   gtk_quit_add (0, run_inner_loop, splash_window);
   gtk_main ();