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..b8daccc 100644 (file)
--- a/tools/build_gtk_tree.js
+++ b/tools/build_gtk_tree.js
@@ -356,8 +356,8 @@ right:
         
     }
     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 = [];