polscm32 aka Marvout 7b0d0c85d7 Fix for settings that would not save after the Preferences Observer commit vor 1 Jahr
..
AlgorithmAdvancedSettingsRootView.swift 7b0d0c85d7 Fix for settings that would not save after the Preferences Observer commit vor 1 Jahr