tools/build_gtk_tree.js

diff --git a/tools/build_gtk_tree.js b/tools/build_gtk_tree.js
index 002dbbf..51cc8e8 100644 (file)
--- a/tools/build_gtk_tree.js
+++ b/tools/build_gtk_tree.js
@@ -348,7 +348,7 @@ right:
                                if (typeof(usage_left[dupe]) == 'undefined') {
                                        usage_left[dupe] = []; 
                                }
-                               print(par+ ' is a dupe of ' + dupe);
+                               //print(par+ ' is a dupe of ' + dupe);
                                usage_left[dupe].pushUnique(par);
                                break;
                        }
@@ -360,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 = [];