On 2019-09-11 20:17:48 -0400, Christopher David Howie wrote: > I also experience this problem. It is intermittent, making it difficult > to reproduce, and it may or may not depend on specific hardware.
I think I have never reproduced this problem on any machine (including the same machine, which I still use regularly). In case this might depend on the driver, I was using the nvidia driver (and I still use it on this machine). I don't use a desktop environment (just fvwm as the window manager). -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)