8 Commits

Author	SHA1	Message	Date
Horst3180	d3c057375a	gnome-shell: don't use border-images for the dash (#329)	2016-01-31 00:40:07 +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	1e5ac00964	gnome-shell: revert overview changes	2015-09-15 22:28:53 +02:00
Horst3180	cdfe796e65	gnome-shell: bring back transparent overview	2015-09-15 18:31:26 +02:00
Horst3180	a9ec7e8c22	cleanup	2015-09-15 13:20:36 +02:00
Horst3180	38a1e46559	gnome-shell: update to 3.18	2015-09-12 18:36:34 +02:00