X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fmain.c;h=eca3f98f6866d9ddeb1a44133914c427f4bfad14;hb=5ee84736663824fe12474b78dace867e42893a14;hp=bab489a5aad88b13072822e4b113df887b8094a4;hpb=360dcdd5b188e73cf8cf97238cc4c0c44b3e6cf8;p=pspp-builds.git
diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index bab489a5..eca3f98f 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -14,11 +14,13 @@
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"
#include
#include
+#include
#include
#include
@@ -44,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);
@@ -57,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;
}
@@ -94,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]);