From c26e3a3cc4c2f77e651a1939f126a7d524ae6733 Mon Sep 17 00:00:00 2001 From: Peter Hofmann Date: Wed, 4 Mar 2020 16:17:39 +0100 Subject: Enable WebKit's developer extras --- CHANGES | 4 ++++ browser.c | 2 ++ 2 files changed, 6 insertions(+) diff --git a/CHANGES b/CHANGES index 6efe050..1109225 100644 --- 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 aae2faf..1856b5b 100644 --- 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); -- cgit v1.2.3