Fix updating of stylesheet when scrolling.bar is set

Fixes #2981
This commit is contained in:
Florian Bruhin 2017-09-26 11:28:40 +02:00
parent 474bf8ad06
commit 6b5d34c7fb

View File

@ -173,7 +173,7 @@ def _set_http_headers(profile):
def _update_settings(option):
"""Update global settings when qwebsettings changed."""
websettings.update_mappings(MAPPINGS, option)
if option in ['scrollbar.hide', 'content.user_stylesheets']:
if option in ['scrolling.bar', 'content.user_stylesheets']:
_init_stylesheet(default_profile)
_init_stylesheet(private_profile)
elif option in ['content.headers.user_agent',