Apply changed visible settings to preferences file

Otherwise the change will not be made to the actual file, just in memory.

Contributes to issue CURA-6311.
This commit is contained in:
Ghostkeeper 2019-06-12 13:32:43 +02:00
parent a82e4bbb0b
commit 2fb722b287
No known key found for this signature in database
GPG key ID: 86BEF881AE2CF276

View file

@ -72,6 +72,7 @@ class VersionUpgrade41to42(VersionUpgrade):
if old_name in visible_settings: if old_name in visible_settings:
visible_settings.remove(old_name) visible_settings.remove(old_name)
visible_settings.add(new_name) visible_settings.add(new_name)
parser["general"]["visible_settings"] = ";".join(visible_settings)
result = io.StringIO() result = io.StringIO()
parser.write(result) parser.write(result)