Horst3180
|
9616edd737
|
gnome-shell: updates for 3.22
|
2016-09-23 23:14:34 +02:00 |
|
Horst3180
|
3fd402cc39
|
gnome-shell: fix jumping switcher list subitems (#636)
|
2016-09-14 12:42:57 +02:00 |
|
Horst3180
|
06b0911009
|
don't use selected_fg_color in weird places
|
2016-08-31 00:00:33 +02:00 |
|
Dela Anthonio
|
2668df1a3d
|
Fix slider for gnome-shell
The handle radius was preventing the slider from reaching either extreme.
This commit fixes issue #399.
|
2016-08-10 19:13:32 -04:00 |
|
Horst3180
|
1de4ef7977
|
gnome-shell: remove menu separator margins
|
2016-06-03 23:55:56 +02:00 |
|
Horst3180
|
ca76d0e2e5
|
use accent color for menu highlight (fix #135)
|
2016-05-29 19:22:18 +02:00 |
|
Horst3180
|
d62246cdc8
|
gnome-shell: fix volume mixer extension width (fix #486)
|
2016-05-16 21:48:16 +02:00 |
|
Horst3180
|
a27b3333ad
|
gnome-shell: add support for the multi-monitors-add-on extension (fix #464)
|
2016-05-16 20:19:47 +02:00 |
|
Horst3180
|
1c27afbd4b
|
Revert "remove outdated dash-to-dock styling"
This reverts commit 8514157d77 .
|
2016-03-31 22:07:41 +02:00 |
|
Horst3180
|
9781e357df
|
gnome-shell: make aggregate-menu a little wider (fix #447)
|
2016-03-31 19:06:58 +02:00 |
|
Horst3180
|
f7a1c002e1
|
gnome-shell: make aggregate-menu wider (#447)
|
2016-03-31 15:14:43 +02:00 |
|
Horst3180
|
7e7fd197b6
|
gnome-shell: fix entries
|
2016-03-30 20:30:06 +02:00 |
|
Horst3180
|
8eaefcf4d9
|
more fixes
|
2016-03-23 21:46:35 +01:00 |
|
Horst3180
|
4a6f74a8f7
|
more gnome-shell tweaks
|
2016-03-23 15:36:18 +01:00 |
|
Horst3180
|
aa363fd608
|
update gnome-shell theme
|
2016-03-23 15:07:41 +01:00 |
|
Horst3180
|
d3c057375a
|
gnome-shell: don't use border-images for the dash (#329)
|
2016-01-31 00:40:07 +01:00 |
|
Horst3180
|
a94aefa0bb
|
improve readmes
|
2015-12-14 01:08:03 +01:00 |
|
Horst3180
|
8514157d77
|
remove outdated dash-to-dock styling
|
2015-11-15 19:07:20 +01:00 |
|
Horst3180
|
571d1297bb
|
gnome-shell: fix classic mode panel for 3.16 and 3.18
|
2015-11-02 21:18:42 +01:00 |
|
Horst3180
|
dee39f4419
|
some tweaks for gnome-shell 3.18
|
2015-09-22 00:38:56 +02:00 |
|
Horst3180
|
f10e22f846
|
forgot to regenerate css
|
2015-09-22 00:31:56 +02:00 |
|
Horst3180
|
ca3fa01822
|
add dark gnome-shell and cinnamon themes
|
2015-09-16 20:34:40 +02:00 |
|