Hugo Locurcio 4198fc9827 Fix corner radius not scaling with theme scale in the default theme ...

This also uses rounding consistently for scale multipliers, so that
behavior is more predictable with non-integer scale factors like `1.25`
and `1.5`.

2023-07-19 00:00:40 +02:00

62 KiB

Raw Blame History

View Raw