Method zoomIn

ui/src/components/pixi/PixiRenderer.ts:2411–2436

(duration = 200)

  }

  zoomIn(duration = 200): void {
    // Mark this as a user-driven zoom so the auto-fit follower
    // doesn't yank the camera back to fit-bounds on the next worker
    // tick (Fix #39). Also clear any pending follower target so it
    // doesn't fight the animation.
    this.hasUserMovedCamera = true;
    this.autoFitTarget = null;
    const target: Viewport = {
      x: this.vp.x,
      y: this.vp.y,
      scale: this.vp.scale * 1.5,
    };
    this.cancelAnimation?.();
    this.cancelAnimation = animateViewport(
      this.vp,
      target,
      duration,
      (vp) => {
        this.vp = vp;
      },
      () => {
        this.redrawAllEdges();
        this.cancelAnimation = null;
      },
    );
  }

  zoomOut(duration = 200): void {
    this.hasUserMovedCamera = true;