This sounds similar to bug https://bugs.freedesktop.org/show_bug.cgi?id=9711, although the symptoms as described are a bit different.
This sounds similar to bug https:/ /bugs.freedeskt op.org/ show_bug. cgi?id= 9711, although the symptoms as described are a bit different.