This change had actually been applied in previous commit
d3ee652
by mistake.
Toggle caret browsing. This will reload the page.
.TP
.B Ctrl\-Shift\-d
-Toggle dark mode. This will reload the page.
+Toggle dark mode.
.TP
.B Ctrl\-Shift\-i
Toggle auto-loading of images. This will reload the page.
g_object_set(gtk_settings_get_default(),
"gtk-application-prefer-dark-theme", a->i, NULL);
return;
- break;
case DiskCache:
webkit_web_context_set_cache_model(c->context, a->i ?
WEBKIT_CACHE_MODEL_WEB_BROWSER :