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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
