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