void ScrollVertical_ValueChanged(object sender, RoutedPropertyChangedEventArgs <double> e)
{
if (!vertical_changing)
{
ObjSceneRenderingControl.current_viewport_topleft.Y = e.NewValue - ObjSceneRenderingControl.ActualHeight / ObjSceneRenderingControl.CurrentPowerScale / 2;
ObjSceneRenderingControl.ViewportHasChanged();
}
}
private void ScrollHorizonal_ValueChanged(object sender, RoutedPropertyChangedEventArgs <double> e)
{
if (!horizonal_changing)
{
ObjSceneRenderingControl.current_viewport_topleft.X = e.NewValue - ObjSceneRenderingControl.ActualWidth / ObjSceneRenderingControl.CurrentPowerScale / 2;
ObjSceneRenderingControl.ViewportHasChanged();
}
}
