private void ZoomWithCenterTo(double newZoom, Point zoomCenterInScreenSpace, TransitionSpeed transitionSpeed) { if (ViewportZoom != newZoom) { ViewportZoomCommand?.Execute(newZoom, zoomCenterInScreenSpace, transitionSpeed); } }
private void ZoomWithCenterTo(double newZoom, Point zoomCenterInScreenSpace, TransitionSpeed transitionSpeed) { if (!ViewportZoom.IsEqualWithTolerance(newZoom)) { ViewportZoomCommand?.Execute(newZoom, zoomCenterInScreenSpace, transitionSpeed); } }