Horst3180
|
9781e357df
|
gnome-shell: make aggregate-menu a little wider (fix #447)
|
9 years ago |
|
Horst3180
|
f7a1c002e1
|
gnome-shell: make aggregate-menu wider (#447)
|
9 years ago |
|
Horst3180
|
7e7fd197b6
|
gnome-shell: fix entries
|
9 years ago |
|
Horst3180
|
8eaefcf4d9
|
more fixes
|
9 years ago |
|
Horst3180
|
4a6f74a8f7
|
more gnome-shell tweaks
|
9 years ago |
|
Horst3180
|
aa363fd608
|
update gnome-shell theme
|
9 years ago |
|
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 |
