mirror of
https://git.mirrors.martin98.com/https://github.com/Ultimaker/Cura
synced 2025-08-20 14:39:10 +08:00
Fix typing
CURA-6460
This commit is contained in:
parent
1d85e60a6b
commit
927135e0da
@ -72,15 +72,15 @@ 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_setting_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_setting_set:
|
||||||
visible_settings.remove(old_name)
|
visible_setting_set.remove(old_name)
|
||||||
visible_settings.add(new_name)
|
visible_setting_set.add(new_name)
|
||||||
for removed_key in _removed_settings:
|
for removed_key in _removed_settings:
|
||||||
if removed_key in visible_settings:
|
if removed_key in visible_setting_set:
|
||||||
visible_settings.remove(removed_key)
|
visible_setting_set.remove(removed_key)
|
||||||
parser["general"]["visible_settings"] = ";".join(visible_settings)
|
parser["general"]["visible_settings"] = ";".join(visible_setting_set)
|
||||||
|
|
||||||
result = io.StringIO()
|
result = io.StringIO()
|
||||||
parser.write(result)
|
parser.write(result)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user