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;
}
gchar *filename = 0;
gboolean show_splash = TRUE;
GError *err = 0;
- gchar *vers;
+ const gchar *vers;
set_program_name (argv[0]);