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 --- browser.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'browser.c') 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