Ubuntu
gnome-shell package

  1. Bug #1761663
  2. Comment #2

Comment 2 for bug 1761663

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

I would be interested to see if the problem persists in Ubuntu 17.10 or 18.04 (due for release this month).

17.10.1 release: https://www.ubuntu.com/download/desktop
18.04 pre-release: http://cdimages.ubuntu.com/daily-live/current/

That is likely faster than trying to figure out what component, and if any fix for this issue has been made since 16.04.