Michael Alexsander 8adfeda6f8 Make the editor's 'CheckButton' icon be smaller ...

(cherry picked from commit 0c182ce8e8)

2020-08-17 11:05:27 +02:00

2 lines

266 B

XML

Raw Blame History