Enable WebKit's developer extras

diff --git a/CHANGES b/CHANGES
index 6efe05007ac9278af254e275883530e8c14bcd15..1109225ab3c38aeaee2c071c131660f11c34e4c5 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,10 @@
 Release history for lariza
 
 next
+  [Changed]
+  - "enable-developer-extras" is now always set to "TRUE". This enables
+    the Web Inspector.
+
   [Added]
   - User-supplied JavaScript files can be put into
     ~/.config/lariza/scripts.

diff --git a/browser.c b/browser.c
index aae2faf2ea4e846731f4f2054add1792f8843666..1856b5ba77d79cb46b9d971384b98155e78f850c 100644 (file)
--- a/browser.c
+++ b/browser.c
@@ -216,6 +216,8 @@ client_new(const gchar *uri, WebKitWebView *related_wv, gboolean show)
     if (enable_webgl)
         webkit_settings_set_enable_webgl(webkit_web_view_get_settings(WEBKIT_WEB_VIEW(c->web_view)), TRUE);
 
+    webkit_settings_set_enable_developer_extras(webkit_web_view_get_settings(WEBKIT_WEB_VIEW(c->web_view)), TRUE);
+
     c->location = gtk_entry_new();
     g_signal_connect(G_OBJECT(c->location), "key-press-event",
                      G_CALLBACK(key_location), c);