public void PropertyChanged(ObsProperty property) { if (!deferUpdate) UpdateSettings(); if (property.Modified(settings)) RefreshProperties(property); }