Downgraded mismatched gtk warning.

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

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 1d7264f83985674073a5210e82e43c88e5cd9f30..6d5f50e1bf0df744b1d14722776cfab4ad4eff6e 100644 (file)
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -58,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;
 }
@@ -95,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]);
 
@@ -109,7 +109,7 @@ main (int argc, char *argv[])
                                 GTK_MINOR_VERSION,
                                 GTK_MICRO_VERSION)) )
     {
-      g_critical (vers);
+      g_warning (vers);
     }
 
   /* Deal with options like --version, --help etc */