|
dash
|
Revert "remove outdated dash-to-dock styling"
|
2016-03-31 22:07:41 +02:00 |
|
menu
|
use accent color for menu highlight (fix #135)
|
2016-05-29 19:22:18 +02:00 |
|
misc
|
fix permissions
|
2016-01-15 22:05:17 +01:00 |
|
panel
|
gnome-shell: update to 3.18
|
2015-09-12 18:36:34 +02:00 |
|
switch
|
use accent color for menu highlight (fix #135)
|
2016-05-29 19:22:18 +02:00 |
