|
checkbox
|
gnome-shell: update to 3.18
|
2015-09-12 18:36:34 +02:00 |
|
menu
|
use accent color for menu highlight (fix #135)
|
2016-05-29 19:22:18 +02:00 |
|
misc
|
gnome-shell: update to 3.18
|
2015-09-12 18:36:34 +02:00 |
|
switch
|
gnome-shell: update to 3.18
|
2015-09-12 18:36:34 +02:00 |
