tools/build_gtk_tree.js

diff --git a/tools/build_gtk_tree.js b/tools/build_gtk_tree.js
index e85f959..2386227 100644 (file)
--- a/tools/build_gtk_tree.js
+++ b/tools/build_gtk_tree.js
@@ -342,9 +342,11 @@ right:
                for(var dupe in usage) {
                        if (par != dupe && usage[par].join(',') == usage[dupe].join(',') ) {
                                duped = true;
+                               
                                if (typeof(usage_left[dupe]) == 'undefined') {
                                        usage_left[dupe] = []; 
                                }
+                               print(par+ ' is a dupe of ' + dupe);
                                usage_left[dupe].pushUnique(par);
                                break;
                        }