Comment 13 for bug 257391

Revision history for this message
Marius Gedminas (mgedmin) wrote :

Here's a screencast demoing the problem. Skip to about 1:30 for the interesting bits, where it happens nearly every time I switch tabs with Chromium. If you pay careful attention, you can see it briefly happening with gnome-terminal too at 0:14 and 1:16.