Horst3180
|
d3c057375a
|
gnome-shell: don't use border-images for the dash (#329)
|
9 years ago |
Horst3180
|
8514157d77
|
remove outdated dash-to-dock styling
|
9 years ago |
Horst3180
|
571d1297bb
|
gnome-shell: fix classic mode panel for 3.16 and 3.18
|
9 years ago |
Horst3180
|
dee39f4419
|
some tweaks for gnome-shell 3.18
|
9 years ago |
Horst3180
|
1e5ac00964
|
gnome-shell: revert overview changes
|
9 years ago |
Horst3180
|
cdfe796e65
|
gnome-shell: bring back transparent overview
|
9 years ago |
Horst3180
|
a9ec7e8c22
|
cleanup
|
9 years ago |
Horst3180
|
38a1e46559
|
gnome-shell: update to 3.18
|
9 years ago |