badwolf

commit: ec3e0cddb97cbec13d721d1caf9499a7ff13b367
parent: 701faa9eba8ffc4e9ee9b924591575376e117169
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date:   Wed, 23 Jan 2019 10:36:49 +0100

badwolf.c: Change some WebKitSettings defaults

Diffstat:
M
badwolf.c
6
++++++

1 file changed, 6 insertions(+), 0 deletions(-)
diff --git a/badwolf.c b/badwolf.c
@@ -188,9 +188,15 @@ int main(int argc, char *argv[])
 	WebKitSettings *settings = webkit_web_view_get_settings(browser->webView);
 
 	webkit_settings_set_default_charset(settings, "utf-8");
+	webkit_settings_set_enable_caret_browsing(settings, TRUE);
 	webkit_settings_set_enable_developer_extras(settings, TRUE);
+	webkit_settings_set_enable_java(settings, FALSE); /* dangerous */
 	webkit_settings_set_enable_javascript(settings, FALSE); /* sane default 😏 */
+	webkit_settings_set_enable_plugins(settings, FALSE); /* dangerous */
 	webkit_settings_set_javascript_can_access_clipboard(settings, FALSE); /* dangerous */
+	webkit_settings_set_javascript_can_open_windows_automatically(settings, FALSE); /* dangerous */
+	webkit_settings_set_media_playback_requires_user_gesture(settings, TRUE); /* typically breaks notification sounds */
+	webkit_settings_set_minimum_font_size(settings, 9); /* text needs to be readable; screw broken pages */
 
 	webkit_web_view_set_settings(browser->webView, settings);