Pedro J. Estébanez 20fa30bde6 Use radio-button-like menu entries where applicable
(cherry picked from commit a6dc160d5cdf581c61d9c0ecd042aa7b5e958a87)
2018-04-28 22:16:53 +02:00
..
2018-04-28 20:24:43 +02:00
2018-01-18 09:08:01 +09:00
2018-01-18 09:08:01 +09:00
2018-02-22 12:02:02 +01:00
2018-02-19 20:48:36 +01:00