public void merge(settings_as_string_readonly other_sett) { // note: i set it like this, so that in case of any change, I call the on_change delegate foreach ( var name in other_sett.names()) set( name, other_sett.get(name)); }
public void merge_setings(settings_as_string_readonly other) { settings_.merge(other); }