Похоже, это проблема переключаемого графического драйвера в Linux. Отключение адаптера Nvidia избавляет от этой проблемы. Я решил проблему следующим образом:
Очевидно, было бы предпочтительнее иметь адаптер nvidia включен. Если я выясню, как заставить работать переключаемую графику, я обновлю этот пост.