X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=6d5f50e1bf0df744b1d14722776cfab4ad4eff6e;hb=46dfa3ec7417bbb7452f152a6b62435006259633;hp=6a38d7259ee4aaec22d75344958634783188326f;hpb=3b3131d18a2dc8ad24d53d3a9502ed7a0096f858;p=pspp-builds.git
diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 6a38d725..6d5f50e1 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"
@@ -57,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;
}
@@ -94,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]);
@@ -108,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 */
@@ -124,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 ();