Florian Müllner fc45cf03bf windowMenu: Use CHECK ornament rather than DOT
The dot suggests a radio action, while the items are actually toggles;
in the app menu we use checkmarks in that case, so do the same here.
2015-07-30 18:11:43 +02:00
..
2014-10-14 18:53:39 -07:00
2014-04-10 21:08:16 +02:00
2015-05-05 16:37:41 +02:00
2015-02-14 18:20:28 +01:00
2015-07-23 12:43:28 +02:00
2015-07-08 18:09:46 +02:00
2015-01-16 18:24:36 +01:00