Bug#768542: libgtk-3-0: no borders in windows that are "split on left/right

[Todor Tsankov]

Here is the upstream bug for this issue:

https://bugzilla.gnome.org/show_bug.cgi?id=708857

and the fix:

https://git.gnome.org/browse/gtk%2B/commit/?id=8753ef6

I applied the patch to my local copy of libgtk and it seems to work
without problems. As the patch looks quite innocent and the bug is  very
annoying (at least for heavy users of the split screen feature like me),
perhaps you should consider including the fix in jessie.

The same bug was also reported against mutter as:

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=770512

--Todor