Dela Anthonio
|
2668df1a3d
|
Fix slider for gnome-shell
The handle radius was preventing the slider from reaching either extreme.
This commit fixes issue #399.
|
8 years ago |
Horst3180
|
1de4ef7977
|
gnome-shell: remove menu separator margins
|
8 years ago |
|
Horst3180
|
ca76d0e2e5
|
use accent color for menu highlight (fix #135)
|
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
|
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
|
f442529bbc
|
button and entry drawing tweaks
|
9 years ago |
|
Horst3180
|
ca3fa01822
|
add dark gnome-shell and cinnamon themes
|
9 years ago |
