1
Completed

Figure out more accurate rounding method for top progress bar

Follow

2 replies

Votes Newest Oldest

Fixed in v0.20

Comment

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

Comment
Reply