drakkar1969 bbbda50747 Remove gnome shell border images (#240) ... * Add color variables for border image drop shadow removal * Remove border image drop shadow: modal dialog * Remove border image drop shadow: panel button dropdown menu * Remove border image drop shadow: OSD window * Remove border image drop shadow: resize popup * Remove border image drop shadow: window switcher * Remove border image drop shadow: workspace switcher * Remove border image drop shadow: notifications * Remove border image drop shadow: looking glass * Fix OSD/switcher/looking glass colors (always transparent, even on solid variants) * Adjust notification margins * Tweak switcher border color		2019-05-13 09:15:39 +01:00
..
3.18	Remove gnome shell border images (#240)	2019-05-13 09:15:39 +01:00
3.26	Revert Fix dash running dots on hover (#196) (#221)	2019-04-05 09:05:49 +01:00
3.30	Remove gnome shell border images (#240)	2019-05-13 09:15:39 +01:00
3.20	adapt to changes in GTK+ 3.19.x	2016-02-19 11:06:17 +01:00
3.22	add build support for Gnome 3.22	2016-08-31 00:22:52 +02:00
3.24	Prepare for GNOME 3.30 and Gtk+ 3.24 (#99) (#100)	2018-07-24 19:44:57 +01:00
3.28	Shell overview caption fix (#145)	2018-10-20 17:01:19 +01:00
3.32	Ensure we allow builds against GNOME Shell 3.32	2019-03-16 21:40:47 +00:00