14 Commits

Author	SHA1	Message	Date
Horst3180	20edae5eed	gnome-shell: reduce dash padding (fix #561)	2016-10-14 12:57:27 +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	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	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	f442529bbc	button and entry drawing tweaks	2015-09-21 17:50:44 +02:00
Horst3180	ca3fa01822	add dark gnome-shell and cinnamon themes	2015-09-16 20:34:40 +02:00