Horst3180
|
4b75f33ff2
|
gnome-shell 3.24 fixes
|
7 years ago |
Horst3180
|
20edae5eed
|
gnome-shell: reduce dash padding (fix #561)
|
8 years ago |
Horst3180
|
9616edd737
|
gnome-shell: updates for 3.22
|
8 years ago |
Horst3180
|
3fd402cc39
|
gnome-shell: fix jumping switcher list subitems (#636)
|
8 years ago |
Horst3180
|
780bd46d53
|
add build support for Gnome 3.22
|
8 years ago |
Horst3180
|
06b0911009
|
don't use selected_fg_color in weird places
|
8 years ago |
Horst3180
|
3932218fd0
|
use color swatches for selected bg and fg in svg assets
|
8 years ago |
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
|
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
|
428f89c38c
|
remove duplicate files
|
9 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
|
ee864708c3
|
adapt to changes in GTK+ 3.19.x
|
9 years ago |
Horst3180
|
583a4f1440
|
dash: add border
|
9 years ago |
Horst3180
|
f934f0d8e8
|
forgot something
|
9 years ago |
Horst3180
|
d3c057375a
|
gnome-shell: don't use border-images for the dash (#329)
|
9 years ago |
Horst3180
|
6d97a5d51e
|
fix permissions
|
9 years ago |
Horst3180
|
a94aefa0bb
|
improve readmes
|
9 years ago |
Horst3180
|
8514157d77
|
remove outdated dash-to-dock styling
|
9 years ago |
Horst3180
|
1559de60c8
|
gnome-shell 3.14: fix classic mode
|
9 years ago |
Horst3180
|
571d1297bb
|
gnome-shell: fix classic mode panel for 3.16 and 3.18
|
9 years ago |
Horst3180
|
5b8685740b
|
update READMEs
|
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
|
f2ce49969e
|
forgot to add .nvmrc
|
9 years ago |
Horst3180
|
f442529bbc
|
button and entry drawing tweaks
|
9 years ago |
Horst3180
|
f264d78ed1
|
gnome-shell: fix wrong image path
|
9 years ago |
Horst3180
|
8ea9b69227
|
gnome-shell 3.14: fix run dialog entry cursor
|
9 years ago |
Horst3180
|
bcf612534e
|
gnome-shell 3.14: fix menu separators
|
9 years ago |
Horst3180
|
b6aaedd1b6
|
gnome-shell 3.18: fix dialogs
|
9 years ago |
Horst3180
|
ca3fa01822
|
add dark gnome-shell and cinnamon themes
|
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
|
226314b10e
|
gnome-shell: fix spinner image
|
9 years ago |
Horst3180
|
38a1e46559
|
gnome-shell: update to 3.18
|
9 years ago |
Horst3180
|
1d8d918f58
|
some gnome-shell fixes
|
9 years ago |
Horst3180
|
4097e62e01
|
tweak color scheme and window buttons
|
9 years ago |
Horst3180
|
150d6f3267
|
fix wrong image path
|
9 years ago |
Horst3180
|
be56f427f2
|
rounded search entries
|
9 years ago |
Horst3180
|
fa43da15f2
|
make textboxes less rounded
|
9 years ago |