private void OnValueChanged (object o, EventArgs args) { if (!ignore_value_changed) { value = target_value = Vadjustment.Value; } } }