diff --git a/include/wx/gtk/webview_webkit.h b/include/wx/gtk/webview_webkit.h index ed375d3a39..4a757b2112 100644 --- a/include/wx/gtk/webview_webkit.h +++ b/include/wx/gtk/webview_webkit.h @@ -78,6 +78,8 @@ public: virtual wxString GetPageText() const wxOVERRIDE; virtual void Print() wxOVERRIDE; virtual bool IsBusy() const wxOVERRIDE; + virtual void EnableAccessToDevTools(bool enable = true) wxOVERRIDE; + virtual bool IsAccessToDevToolsEnabled() const wxOVERRIDE; void SetZoomType(wxWebViewZoomType) wxOVERRIDE; wxWebViewZoomType GetZoomType() const wxOVERRIDE; diff --git a/interface/wx/webview.h b/interface/wx/webview.h index 942bcf845e..d7be072476 100644 --- a/interface/wx/webview.h +++ b/interface/wx/webview.h @@ -776,7 +776,7 @@ public: Enable or disable access to dev tools for the user. This is currently only implemented for the Edge (Chromium) backend - where the dev tools are enabled by default. + where the dev tools are enabled by default and the WebKit2GTK+ backend. @since 3.1.4 */ diff --git a/src/gtk/webview_webkit2.cpp b/src/gtk/webview_webkit2.cpp index da4aae46df..f1207bf072 100644 --- a/src/gtk/webview_webkit2.cpp +++ b/src/gtk/webview_webkit2.cpp @@ -698,6 +698,18 @@ float wxWebViewWebKit::GetWebkitZoom() const return webkit_web_view_get_zoom_level(m_web_view); } +void wxWebViewWebKit::EnableAccessToDevTools(bool enable) +{ + WebKitSettings* settings = webkit_web_view_get_settings(m_web_view); + webkit_settings_set_enable_developer_extras(settings, enable); +} + +bool wxWebViewWebKit::IsAccessToDevToolsEnabled() const +{ + WebKitSettings* settings = webkit_web_view_get_settings(m_web_view); + return webkit_settings_get_enable_developer_extras(settings); +} + void wxWebViewWebKit::Stop() { webkit_web_view_stop_loading(m_web_view);