void GraphScrollerViewingSettingsChangedEvent(object sender, EventArgs e) { QuietZoomSliderUpdate(); if (!zoomSlider.IsMouseCaptureWithin) { graphScroller.PushViewState(); } }