15 Commits

Author	SHA1	Message	Date
Woky	f08c5fae36	Merge pull request #17 from horst3180/master ... Sync with upstream	2016-08-15 15:12:10 +03: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
andrei	1de467df14	Bump	2016-06-04 16:16:00 +03: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
andrei	23051a8cb5	Sync with upstream	2016-05-18 17:03:38 +03:00
Horst3180	a27b3333ad	gnome-shell: add support for the multi-monitors-add-on extension (fix #464)	2016-05-16 20:19:47 +02:00
andrei	75a29de0ec	Add transparent panel active buttons	2016-04-11 00:06:51 +03: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