Alexandre Flament e3e5d2bd22 Theme: all top right icons have labels including "Preferences"		2022-07-02 10:04:35 +02:00
..
simple	Theme: all top right icons have labels including "Preferences"	2022-07-02 10:04:35 +02:00