diff options
author | Lipu Fei <lipu.fei815@gmail.com> | 2019-06-17 09:48:15 +0300 |
---|---|---|
committer | Lipu Fei <lipu.fei815@gmail.com> | 2019-06-17 09:48:15 +0300 |
commit | 42b1e4f8f60ce7bc66efd7358bc1d88b7763f6f2 (patch) | |
tree | cd36ffcae712064b96075327a1e16a76c3927e67 /plugins/VersionUpgrade/VersionUpgrade41to42 | |
parent | 2fb722b2874820b5978fbbf49eb236aaf0787fa9 (diff) |
Fix typing
CURA-6311
Diffstat (limited to 'plugins/VersionUpgrade/VersionUpgrade41to42')
-rw-r--r-- | plugins/VersionUpgrade/VersionUpgrade41to42/VersionUpgrade41to42.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/plugins/VersionUpgrade/VersionUpgrade41to42/VersionUpgrade41to42.py b/plugins/VersionUpgrade/VersionUpgrade41to42/VersionUpgrade41to42.py index af01d4c1e0..ab6be63426 100644 --- a/plugins/VersionUpgrade/VersionUpgrade41to42/VersionUpgrade41to42.py +++ b/plugins/VersionUpgrade/VersionUpgrade41to42/VersionUpgrade41to42.py @@ -67,12 +67,12 @@ class VersionUpgrade41to42(VersionUpgrade): #Renamed settings. if "visible_settings" in parser["general"]: visible_settings = parser["general"]["visible_settings"] - visible_settings = set(visible_settings.split(";")) + visible_settings_set = set(visible_settings.split(";")) for old_name, new_name in _renamed_settings.items(): - if old_name in visible_settings: - visible_settings.remove(old_name) - visible_settings.add(new_name) - parser["general"]["visible_settings"] = ";".join(visible_settings) + if old_name in visible_settings_set: + visible_settings_set.remove(old_name) + visible_settings_set.add(new_name) + parser["general"]["visible_settings"] = ";".join(visible_settings_set) result = io.StringIO() parser.write(result) |