private void OnMouseWheel(WheelEventArgs e)
{
NavigationSettings.OnMouseWheel(e);
Nodes.ReRenderIfOffCanvasChanged();
Links.TriggerStateHasChanged();
Overview?.TriggerUpdate(just_pan_or_zoom: true);
}
internal void MoveOrigin(double offset_x, double offset_y)
{
NavigationSettings.Pan(offset_x, offset_y);
Nodes.render_not_necessary = true;
Nodes.ReRenderIfOffCanvasChanged();
Links.render_not_necessary = true;
render_necessary = true;
StateHasChanged();
}
private async Task GetPositionAsync()
{
(CanvasLeft, CanvasTop) = await js.GetPositionAsync(canvas);
(CanvasWidth, CanvasHeight) = await js.GetDimensionsAsync(canvas);
Nodes.ReRenderIfOffCanvasChanged();
js_interop_reference_to_this ??= DotNetObjectReference.Create(this);
await js.RegisterResizeObserverAsync(canvas, js_interop_reference_to_this);
await js.RegisterMoveObserverAsync(canvas, js_interop_reference_to_this);
}
public void OnMove(Rect rect)
{
(CanvasLeft, CanvasTop, CanvasWidth, CanvasHeight) = (rect.Left, rect.Top, rect.Width, rect.Height);
Nodes.ReRenderIfOffCanvasChanged();
UpdateOverview();
}
public void ZoomToFit()
{
NavigationSettings.ZoomToFit();
Nodes.ReRenderIfOffCanvasChanged();
UpdateOverview(just_pan_or_zoom: true);
}