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

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 4fc21595be..a3d394618c 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 <http://www.gnu.org/licenses/>. */
 
+#include <config.h>
 #include <gtk/gtk.h>
 #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);
@@ -54,7 +58,7 @@ static gboolean
 hide_splash_window (gpointer data)
 {
   GtkWidget *splash = data;
-  gtk_widget_hide (splash);
+  gtk_widget_destroy (splash);
   gtk_window_set_auto_startup_notification (TRUE);
   return FALSE;
 }
@@ -91,7 +95,7 @@ main (int argc, char *argv[])
   gchar *filename = 0;
   gboolean show_splash = TRUE;
   GError *err = 0;
-  gchar *vers;
+  const gchar *vers;
 
   set_program_name (argv[0]);
 
@@ -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 ();