mirror of
https://git.mirrors.martin98.com/https://github.com/Ultimaker/Cura
synced 2025-08-11 06:08:58 +08:00
Fix typing
CURA-6311
This commit is contained in:
parent
2fb722b287
commit
42b1e4f8f6
@ -67,12 +67,12 @@ class VersionUpgrade41to42(VersionUpgrade):
|
|||||||
#Renamed settings.
|
#Renamed settings.
|
||||||
if "visible_settings" in parser["general"]:
|
if "visible_settings" in parser["general"]:
|
||||||
visible_settings = parser["general"]["visible_settings"]
|
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():
|
for old_name, new_name in _renamed_settings.items():
|
||||||
if old_name in visible_settings:
|
if old_name in visible_settings_set:
|
||||||
visible_settings.remove(old_name)
|
visible_settings_set.remove(old_name)
|
||||||
visible_settings.add(new_name)
|
visible_settings_set.add(new_name)
|
||||||
parser["general"]["visible_settings"] = ";".join(visible_settings)
|
parser["general"]["visible_settings"] = ";".join(visible_settings_set)
|
||||||
|
|
||||||
result = io.StringIO()
|
result = io.StringIO()
|
||||||
parser.write(result)
|
parser.write(result)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user