From 1b9512d192fa06fada869714deefce8ba3ff1c52 Mon Sep 17 00:00:00 2001
From: Alan Knowles <alan@roojs.com>
Date: Fri, 10 Aug 2012 11:55:26 +0800
Subject: [PATCH] tools/build_gtk_tree.js

---
 tools/build_gtk_tree.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/build_gtk_tree.js b/tools/build_gtk_tree.js
index 8d9adc822..e0d04b3df 100644
--- a/tools/build_gtk_tree.js
+++ b/tools/build_gtk_tree.js
@@ -286,6 +286,7 @@ function BuildLists () {
         if (['GtkSource.CompletionInfo',
              'Gtk.MenuShell',
              'GtkSource.View', // ??? nothing can be added to it?
+             'WebKit.WebView', // ??? nothing can be added to it?
              'GtkClutter.Embed'
              ].indexOf(parent) > -1) {
              return false;
-- 
2.39.2