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..a7601e8 100644 (file)
--- a/tools/build_gtk_tree.js
+++ b/tools/build_gtk_tree.js
@@ -285,7 +285,8 @@ 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;
@@ -399,6 +400,10 @@ right:
         return false;
         
     }
+    
+    
+    
+    print (JSON.stringify(usage,null,4));
     var nusage = {};
        var usage_left = {};
     for(var par in usage) {