Iris Morelle ea883befcf gui2/preferences: Use labelless toggle buttons in Advanced
The labels are implemented with a different widget on a separate column,
the the reserved space only serves to make things look weird.
2020-07-19 21:53:44 -04:00
..
2020-07-19 23:38:51 +02:00
2020-03-09 20:15:52 -03:00
2020-04-21 11:13:36 +02:00
2020-07-03 14:28:13 +02:00
2020-05-22 13:33:18 -05:00