Skip to content

Merge pull request #32 from mneumann/fix-mouse-focus-and-window-repaint #101

Merge pull request #32 from mneumann/fix-mouse-focus-and-window-repaint

Merge pull request #32 from mneumann/fix-mouse-focus-and-window-repaint #101

Triggered via push December 17, 2023 21:12
Status Success
Total duration 1m 3s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in