public void SetWorldCenter(RealPoint center)
{
WorldRect = WorldRect.SetCenter(center);
WorldScale = new WorldScale(WorldScale.Factor, -WorldScale.RealToScreenDistance(WorldRect.X), -WorldScale.RealToScreenDistance(WorldRect.Y));
WorldChange?.Invoke();
}
public void SetScreenSize(Size size)
{
WorldRect = WorldRect.ExpandWidth(WorldScale.ScreenToRealDistance(size.Width));
WorldRect = WorldRect.ExpandHeight(WorldScale.ScreenToRealDistance(size.Height));
_screenSize = size;
WorldChange?.Invoke();
}
public void SetZoomFactor(double mmPerPixel)
{
RealPoint center = WorldRect.Center();
WorldRect = WorldRect.ExpandWidth(WorldRect.Width * (mmPerPixel / WorldScale.Factor));
WorldRect = WorldRect.ExpandHeight(WorldRect.Height * (mmPerPixel / WorldScale.Factor));
WorldScale = new WorldScale(mmPerPixel, (int)(-WorldRect.X / mmPerPixel), (int)(-WorldRect.Y / mmPerPixel));
WorldChange?.Invoke();
}
protected void OnWorldChange()
{
WorldChange?.Invoke();
}