Jules Aguillon f451902efa Refactor: Remove dimens used as option defaults ...

The conversion into px was done twice, leading to wrong values.

2023-06-03 20:20:09 +02:00

..

dimens.xml

Refactor: Remove dimens used as option defaults

2023-06-03 20:20:09 +02:00