Skip to content

Improve map rotation by mouse event #5425

Improve map rotation by mouse event

Improve map rotation by mouse event #5425

This workflow is awaiting approval from a maintainer in #5825
Triggered via pull request November 16, 2024 18:37
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #5825

linux.yml

on: pull_request
build (linux)
build (linux)
Fit to window
Zoom out
Zoom in