Skip to content
Pull Request Labels

Be smarter when rounding rectangles to the pixel grid #6828

Sign in to view logs

Be smarter when rounding rectangles to the pixel grid

Be smarter when rounding rectangles to the pixel grid #6828

Triggered via pull request January 30, 2025 19:51
@emilkemilk
synchronize #5656
emilk/better-rect-rounding-again
Status Success
Total duration 1m 54s
Artifacts –

labels.yml

on: pull_request
label
2s
label
Fit to window
Zoom out
Zoom in