tools/build_gtk_tree.js
[app.Builder.js] / tools / build_gtk_tree.js
index 2d29249..51cc8e8 100644 (file)
@@ -340,7 +340,9 @@ right:
         }
                var duped = false;
                for(var dupe in usage) {
-                       if (par != dupe && usage[par].join(',') == usage[dupe].join(',') && nusage[dupe]) {
+                       if (par != dupe
+                               && typeof(nusage[dupe]) != 'undefined'
+                               && usage[par].join(',') == usage[dupe].join(',')) {
                                duped = true;
                                
                                if (typeof(usage_left[dupe]) == 'undefined') {
@@ -358,8 +360,7 @@ right:
         
     }
     usage = nusage;
-    print(JSON.stringify(nusage,null,4));
-    Seed.exit();
+    //print(JSON.stringify(nusage,null,4));  Seed.exit();
     //print(JSON.stringify(methods['Gtk.Switch'],null,4));
 
     var str = [];