Sorry, I totally forgot that I myself reported this bug against server-xorg-video-intel in November last year. I reported the same bug in April against libcogl, in the meantime it turned out that this in fact is a gnome-shell bug: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=743810 I'm going to merge the two reports. Sorry again.