tools/build_gtk_tree.js

[app.Builder.js] / tools / build_gtk_tree.js

diff --git a/tools/build_gtk_tree.js b/tools/build_gtk_tree.js
index 20c1d19..d3bee79 100644 (file)
--- a/tools/build_gtk_tree.js
+++ b/tools/build_gtk_tree.js
@@ -340,24 +340,26 @@ right:
         }
                var duped = false;
                for(var dupe in usage) {
-                       if (usage[par].join(',') == usage[dupe].join(',') ) {
+                       if (par != dupe && usage[par].join(',') == usage[dupe].join(',') && nusage[dupe]) {
                                duped = true;
+                               
                                if (typeof(usage_left[dupe]) == 'undefined') {
                                        usage_left[dupe] = []; 
                                }
+                               print(par+ ' is a dupe of ' + dupe);
                                usage_left[dupe].pushUnique(par);
                                break;
                        }
                }
-               if (duped) {
-                       continue;
-               }
+                if (duped) {
+                       continue;
+                }
         nusage[par] = usage[par];
         
     }
     usage = nusage;
-    //r//int(JSON.stringify(nusage,null,4));
-    
+    print(JSON.stringify(nusage,null,4));
+    Seed.exit();
     //print(JSON.stringify(methods['Gtk.Switch'],null,4));
 
     var str = [];