X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=eca3f98f6866d9ddeb1a44133914c427f4bfad14;hb=47aaa033c935d0427abd7cbb591a35450eb7db81;hp=1d7264f83985674073a5210e82e43c88e5cd9f30;hpb=97a777315ec2f2000ac67da1f405323a5e2294e2;p=pspp

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 1d7264f839..eca3f98f68 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -20,6 +20,7 @@
 #include "progname.h"
 #include <stdlib.h>
 #include <getopt.h>
+#include <gl/relocatable.h>
 
 #include <libpspp/version.h>
 #include <libpspp/copyleft.h>
@@ -45,7 +46,7 @@ create_splash_window (void)
   gtk_window_set_type_hint (GTK_WINDOW (splash),
 			    GDK_WINDOW_TYPE_HINT_SPLASHSCREEN);
 
-  image = gtk_image_new_from_file (PKGDATADIR "/splash.png");
+  image = gtk_image_new_from_file (relocate (PKGDATADIR "/splash.png"));
 
   gtk_container_add (GTK_CONTAINER (splash), image);
 
@@ -58,7 +59,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;
 }
@@ -95,7 +96,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]);