Added a check of compatible gtk version numbers at start up.

diff --git a/src/ui/gui/psppire.c b/src/ui/gui/psppire.c
index 21ba79b11400e2efd231437efc9a461ec78b2e43..6e7c6e0a5ea05d25e149bea74eef9415fc031f5b 100644 (file)
--- a/src/ui/gui/psppire.c
+++ b/src/ui/gui/psppire.c
@@ -81,8 +81,16 @@ main(int argc, char *argv[])
 
   gchar *filename=0;
   GError *err = 0;
+  gchar *vers;
 
   gtk_init(&argc, &argv);
+  if ( (vers = gtk_check_version(GTK_MAJOR_VERSION, 
+                                GTK_MINOR_VERSION, 
+                                GTK_MICRO_VERSION)) )
+    {
+      g_critical(vers);
+    }
+       
 
   /* gtk_init messes with the locale. 
      So unset the bits we want to control ourselves */