Florian Bruhin 27c46f20c0 Make sure the config default values are mutable ... While the old values meant the same thing, they weren't mutable, so the config couldn't modify them with a simple .append(). Fixes #3104		2017-10-14 16:40:44 +02:00
..
__init__.py	Finally update copyrights...	2017-05-09 21:37:03 +02:00
config.py	Show nicer errors when trying to set deleted/renamed options	2017-10-11 08:00:38 +02:00
configcommands.py	Add :bind --default	2017-10-08 21:48:48 +02:00
configdata.py	Implement deleting/renaming values in configdata.yml	2017-10-11 07:13:51 +02:00
configdata.yml	Make sure the config default values are mutable	2017-10-14 16:40:44 +02:00
configdiff.py	Strip the old text for configdiff	2017-09-16 14:41:37 +02:00
configexc.py	Show nicer errors when trying to set deleted/renamed options	2017-10-11 08:00:38 +02:00
configfiles.py	Fix lint	2017-10-11 08:41:23 +02:00
configinit.py	Fix updating fonts when fonts.monospace is changed	2017-10-11 22:14:55 +02:00
configtypes.py	Fix loading of monospace fonts in configtypes.QtFont	2017-10-12 18:26:54 +02:00
websettings.py	Refactor websettings for new config	2017-07-02 22:17:33 +02:00