[fix] do not save engine/plugin cookies as unknown settings options - fixes #1110

dependabot/pip/master/sphinx-6.1.3
Adam Tauber 7 years ago
parent 7752b0a807
commit 2dc02f50c2

@ -304,7 +304,12 @@ class Preferences(object):
elif user_setting_name == 'disabled_plugins':
self.plugins.parse_cookie((input_data.get('disabled_plugins', ''),
input_data.get('enabled_plugins', '')))
else:
elif not any(user_setting_name.startswith(x) for x in [
'enabled_',
'disabled_',
'engine_',
'category_',
'plugin_']):
self.unknown_params[user_setting_name] = user_setting
def parse_form(self, input_data):

Loading…
Cancel
Save