mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-10-03 20:47:32 +00:00
Improve gtk-builder-convert error reporting
Make gtk-builder-convert warn when it meets duplicate ids, since those will not work with GtkBuilder.
This commit is contained in:
parent
1a312bfa3e
commit
209af946f3
@ -257,6 +257,8 @@ class GtkBuilderConverter(object):
|
||||
|
||||
for node in objects:
|
||||
self._convert(node.getAttribute("class"), node)
|
||||
if self._get_object(node.getAttribute('id')) is not None:
|
||||
print "WARNING: duplicate id \"" + node.getAttribute('id') + "\""
|
||||
self.objects[node.getAttribute('id')] = node
|
||||
|
||||
# Convert Gazpachos UI tag
|
||||
|
Loading…
Reference in New Issue
Block a user