Horst3180
|
ca76d0e2e5
|
use accent color for menu highlight (fix #135)
|
8 years ago |
|
Horst3180
|
d62246cdc8
|
gnome-shell: fix volume mixer extension width (fix #486)
|
8 years ago |
|
Horst3180
|
a27b3333ad
|
gnome-shell: add support for the multi-monitors-add-on extension (fix #464)
|
8 years ago |
|
Horst3180
|
1c27afbd4b
|
Revert "remove outdated dash-to-dock styling"
This reverts commit 8514157d77.
|
9 years ago |
|
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
|
a94aefa0bb
|
improve readmes
|
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
|
f10e22f846
|
forgot to regenerate css
|
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
|
c950819239
|
gnome-shell: fix active button
|
9 years ago |
|
Horst3180
|
a9ec7e8c22
|
cleanup
|
9 years ago |
|
Horst3180
|
38a1e46559
|
gnome-shell: update to 3.18
|
9 years ago |
