QTfrontend/res/radioButtonChecked.png
author nemo
Thu, 10 Aug 2023 20:48:54 -0400
changeset 15974 8bb07b0f50ca
parent 13207 d948d39e5da8
permissions -rw-r--r--
add some round() so that the scale factor compiles at least with non-integer values

(binary:image/png)