1
Completed

Figure out more accurate rounding method for top progress bar

Follow

2 replies

Votes Newest Oldest

So that the last 1/20th doesn't suddenly get a pixel wider

Comment

Fixed in v0.20

Comment
Reply