X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=1d7264f83985674073a5210e82e43c88e5cd9f30;hb=dde7b813c5747fba5d14e47f6dd82bb7b4dc7cf1;hp=4fc21595bedd3c442b8394aec1fa922ab5b15707;hpb=43b1296aafe7582e7dbe6c2b6a8b478d7d9b0fcf;p=pspp
diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 4fc21595be..1d7264f839 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -14,6 +14,7 @@
You should have received a copy of the GNU General Public License
along with this program. If not, see . */
+#include
#include
#include "psppire.h"
#include "progname.h"
@@ -41,6 +42,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 +125,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 ();