| 1 | *** /opt/local/bin/gtk-builder-convert 2009-04-23 14:01:21.000000000 +0300 |
|---|
| 2 | --- temp/gtk-builder-convert 2009-04-26 15:17:39.000000000 +0300 |
|---|
| 3 | *************** |
|---|
| 4 | *** 258,264 **** |
|---|
| 5 | for node in objects: |
|---|
| 6 | self._convert(node.getAttribute("class"), node) |
|---|
| 7 | if self._get_object(node.getAttribute('id')) is not None: |
|---|
| 8 | ! print "WARNING: duplicate id \"" + node.getAttribute('id') + "\"" |
|---|
| 9 | self.objects[node.getAttribute('id')] = node |
|---|
| 10 | |
|---|
| 11 | # Convert Gazpachos UI tag |
|---|
| 12 | --- 258,264 ---- |
|---|
| 13 | for node in objects: |
|---|
| 14 | self._convert(node.getAttribute("class"), node) |
|---|
| 15 | if self._get_object(node.getAttribute('id')) is not None: |
|---|
| 16 | ! print "WARNING: duplicate id \"" + node.getAttribute('id') + "\"" |
|---|
| 17 | self.objects[node.getAttribute('id')] = node |
|---|
| 18 | |
|---|
| 19 | # Convert Gazpachos UI tag |
|---|
