checkbox
|
add dark gnome-shell and cinnamon themes
|
2015-09-16 20:34:40 +02:00 |
menu
|
use accent color for menu highlight (fix #135)
|
2016-05-29 19:22:18 +02:00 |
misc
|
add dark gnome-shell and cinnamon themes
|
2015-09-16 20:34:40 +02:00 |
switch
|
add dark gnome-shell and cinnamon themes
|
2015-09-16 20:34:40 +02:00 |