From: Ben Pfaff <blp@gnu.org>
Date: Mon, 5 Oct 2009 03:27:30 +0000 (-0700)
Subject: Upgrade gtk-builder-convert to newer version that adds useful warnings.
X-Git-Tag: sid-i386-build80^0
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3865397b582d93924ded432055a07c31543363d4;hp=3865397b582d93924ded432055a07c31543363d4;p=pspp-builds.git

Upgrade gtk-builder-convert to newer version that adds useful warnings.

The notes on "Migrating from libglade to GtkBuilder" in the GTK+
Reference Manual at, e.g.
http://library.gnome.org/devel/gtk/unstable/gtk-migrating-GtkBuilder.html
say that "While libglade can often tolerate multiple widgets having the
same id in a glade file, GtkBuilder will not accept duplicate object ids."
The version of gtk-builder-convert that we had previously didn't warn about
duplicate ids; the new version checked in by this commit does.
---