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 b9f8153..1a0fa09 100644 (file)
--- a/tools/build_gtk_tree.js
+++ b/tools/build_gtk_tree.js
@@ -285,18 +285,19 @@ function BuildLists () {
         }
         if (['GtkSource.CompletionInfo',
              'Gtk.MenuShell',
-             'Gtk.SourceView', // ??? nothing can be added to it?
+             'GtkSource.View', // ??? nothing can be added to it?
+             'WebKit.WebView', // ??? nothing can be added to it?
              'GtkClutter.Embed'
              ].indexOf(parent) > -1) {
              return false;
         }
         
-        print("TRY ctor:  " + parent );
+        //print("TRY ctor:  " + parent );
 
         var x = new imports.gi.Gtk[cls]();
-        print("TRY child type:  " + parent);
+        //print("TRY child type:  " + parent);
         
-        print(parent + " : says children are of type : " + x.child_type());
+        //print(parent + " : says children are of type : " + x.child_type());
         return true;
         
     }
@@ -399,6 +400,10 @@ right:
         return false;
         
     }
+    
+    
+    
+    print (JSON.stringify(usage,null,4));
     var nusage = {};
        var usage_left = {};
     for(var par in usage) {