Skip to content

Redraw tooltip to avoid corner glitches #3390

Redraw tooltip to avoid corner glitches

Redraw tooltip to avoid corner glitches #3390

Triggered via pull request October 27, 2023 18:51
Status Success
Total duration 2m 12s
Artifacts

main.yml

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