14 Commits

Author	SHA1	Message	Date
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	a27b3333ad	gnome-shell: add support for the multi-monitors-add-on extension (fix #464)	2016-05-16 20:19:47 +02:00
Horst3180	583a4f1440	dash: add border	2016-01-31 00:54:50 +01:00
Horst3180	f934f0d8e8	forgot something	2016-01-31 00:50:06 +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	1559de60c8	gnome-shell 3.14: fix classic mode	2015-11-03 00:13:05 +01:00
Horst3180	f264d78ed1	gnome-shell: fix wrong image path	2015-09-21 13:08:13 +02:00
Horst3180	8ea9b69227	gnome-shell 3.14: fix run dialog entry cursor	2015-09-17 00:45:17 +02:00
Horst3180	bcf612534e	gnome-shell 3.14: fix menu separators	2015-09-17 00:40:30 +02:00
Horst3180	ca3fa01822	add dark gnome-shell and cinnamon themes	2015-09-16 20:34:40 +02:00