Skip to content

Fix line numbers on hidpi #61

Fix line numbers on hidpi

Fix line numbers on hidpi #61

Triggered via push December 1, 2023 21:10
Status Success
Total duration 39s
Artifacts
flakehub-publish
26s
flakehub-publish
Fit to window
Zoom out
Zoom in