50
53
db.current_criterion().deactivated_card_type_fact_view_ids.update(\
51
54
old_deactivated_card_type_fact_view_ids)
52
55
db.set_current_criterion(db.current_criterion())
54
56
for property_name in ["background_colour", "font", "font_colour",
55
57
"alignment", "hide_pronunciation_field"]:
56
58
self.log().edited_setting(property_name)
57
59
for card_type in user_card_types:
59
60
if card_type.id in old_config[property_name]:
60
61
self.config()[property_name][card_type.id] = \
61
62
old_config[property_name][card_type.id]