So, I switched to UXA, which I did by adding a file "20-intel.conf" containing this:
<code>
Section "Device"
Identifier "Intel Graphics"
Driver "intel"
Option "AccelMethod" "uxa"
EndSection
</code>
The bug seems to be gone this way. But apparently the UXA mode has its own problems (such as gnome-terminal invariably freezing the entire session (mouse included) for 15 secs).
So, I switched to UXA, which I did by adding a file "20-intel.conf" containing this:
<code>
Section "Device"
Identifier "Intel Graphics"
Driver "intel"
Option "AccelMethod" "uxa"
EndSection
</code>
The bug seems to be gone this way. But apparently the UXA mode has its own problems (such as gnome-terminal invariably freezing the entire session (mouse included) for 15 secs).
Hope that helps
Thanks
C.