tools/build_gtk_tree.js
[app.Builder.js] / tools / build_gtk_tree.js
index 4f2709e..b9f8153 100644 (file)
@@ -283,7 +283,11 @@ function BuildLists () {
         if (parent == 'Gtk.Bin' || methods['Gtk.Bin'].extendsClasses.indexOf(parent) > -1) {
             return false;
         }
-        if (['GtkSource.CompletionInfo', 'Gtk.MenuShell', 'GtkClutter.Embed'].indexOf(parent) > -1) {
+        if (['GtkSource.CompletionInfo',
+             'Gtk.MenuShell',
+             'Gtk.SourceView', // ??? nothing can be added to it?
+             'GtkClutter.Embed'
+             ].indexOf(parent) > -1) {
              return false;
         }