tools/build_gtk_tree.js
[app.Builder.js] / tools / build_gtk_tree.js
index b9f8153..8d9adc8 100644 (file)
@@ -285,7 +285,7 @@ function BuildLists () {
         }
         if (['GtkSource.CompletionInfo',
              'Gtk.MenuShell',
-             'Gtk.SourceView', // ??? nothing can be added to it?
+             'GtkSource.View', // ??? nothing can be added to it?
              'GtkClutter.Embed'
              ].indexOf(parent) > -1) {
              return false;