From 2fb722b2874820b5978fbbf49eb236aaf0787fa9 Mon Sep 17 00:00:00 2001 From: Ghostkeeper Date: Wed, 12 Jun 2019 13:32:43 +0200 Subject: [PATCH] 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. --- .../VersionUpgrade/VersionUpgrade41to42/VersionUpgrade41to42.py | 1 + 1 file changed, 1 insertion(+) diff --git a/plugins/VersionUpgrade/VersionUpgrade41to42/VersionUpgrade41to42.py b/plugins/VersionUpgrade/VersionUpgrade41to42/VersionUpgrade41to42.py index a9a2cbc2be..af01d4c1e0 100644 --- a/plugins/VersionUpgrade/VersionUpgrade41to42/VersionUpgrade41to42.py +++ b/plugins/VersionUpgrade/VersionUpgrade41to42/VersionUpgrade41to42.py @@ -72,6 +72,7 @@ class VersionUpgrade41to42(VersionUpgrade): if old_name in visible_settings: visible_settings.remove(old_name) visible_settings.add(new_name) + parser["general"]["visible_settings"] = ";".join(visible_settings) result = io.StringIO() parser.write(result)