badwolf.c: WebKit Setting (JSClipboard: no, DevTools: yes)

1 files changed, 7 insertions, 0 deletions

diff --git a/badwolf.c b/badwolf.c
index 0e08ac4..dea7cd7 100644
--- a/badwolf.c
+++ b/badwolf.c
@@ -25,6 +25,13 @@ int main(int argc, char *argv[])
 	g_signal_connect(main_window, "destroy", G_CALLBACK(gtk_main_quit), NULL);
 	g_signal_connect(webView, "close", G_CALLBACK(closeWebViewCb), main_window);
 
+	WebKitSettings *settings = webkit_web_view_get_settings(webView);
+
+	webkit_settings_set_javascript_can_access_clipboard(settings, FALSE);
+	webkit_settings_set_enable_developer_extras(settings, TRUE);
+
+	webkit_web_view_set_settings(webView, settings);
+
 	webkit_web_view_load_uri(webView, target_url);
 
 	gtk_widget_grab_focus(GTK_WIDGET(webView));