Peter Hartmann c58593669d segmented bar: Add own checkmark
The checkmark is slightly different from the one used in the
check box.
2023-02-01 17:18:22 +01:00
..
2022-12-05 12:06:49 +01:00