From ec3e0cddb97cbec13d721d1caf9499a7ff13b367 Mon Sep 17 00:00:00 2001 From: "Haelwenn (lanodan) Monnier" Date: Wed, 23 Jan 2019 10:36:49 +0100 Subject: badwolf.c: Change some WebKitSettings defaults --- badwolf.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/badwolf.c b/badwolf.c index e54e295..0e0ecd7 100644 --- 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); -- cgit v1.3.1-23-gd82d