diff options
author | Sadoon Al-Bader <sadoon@soulserv.xyz> | 2021-04-15 03:04:45 +0300 |
---|---|---|
committer | Daniel Carl <danielcarl@gmx.de> | 2021-09-15 23:59:02 +0200 |
commit | 7119a316ae28bc31b199de0e67d5c34a38e66ac9 (patch) | |
tree | 8009bc4d19829020dac05933bc3260bea71818ce | |
parent | 652f4111b6e11d0ce280ae2a7b5d8f09f85bb253 (diff) |
Add setting for toggling javascript markup option
Older systems like ppc32 struggle with WebKit's JavaScript engine, having this setting turned off enables those systems to access most websites with limited JavaScript functionality instead of simply crashing WebKit on any JS website.
Was tested on Gentoo and ArchPower, works great.
-rw-r--r-- | src/setting.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/setting.c b/src/setting.c index b180de7..a0cdff5 100644 --- a/src/setting.c +++ b/src/setting.c @@ -109,6 +109,7 @@ void setting_init(Client *c) setting_add(c, "images", TYPE_BOOLEAN, &on, webkit, 0, "auto-load-images"); setting_add(c, "javascript-can-access-clipboard", TYPE_BOOLEAN, &off, webkit, 0, "javascript-can-access-clipboard"); setting_add(c, "javascript-can-open-windows-automatically", TYPE_BOOLEAN, &off, webkit, 0, "javascript-can-open-windows-automatically"); + setting_add(c, "javascript-enable-markup", TYPE_BOOLEAN, &on, webkit, 0, "enable-javascript-markup"); setting_add(c, "media-playback-allows-inline", TYPE_BOOLEAN, &on, webkit, 0, "media-playback-allows-inline"); setting_add(c, "media-playback-requires-user-gesture", TYPE_BOOLEAN, &off, webkit, 0, "media-playback-requires-user-gesture"); setting_add(c, "media-stream", TYPE_BOOLEAN, &off, webkit, 0, "enable-media-stream"); |