Ubuntu
gnome-shell package

  1. Bug #1722725
  2. Comment #5

Comment 5 for bug 1722725

Revision history for this message
Michael Thayer (michael-thayer) wrote :

I have definitely observed bug 1716160 as well, even after correcting the GNOME settings (though it happens less often then). However this does not match either of the two. I still do not have a good feeling for exactly when it happens, so if you do not mind I will just update the bug next time it triggers with an unstructured chronology of what happened before.

It might be related to bug 1723025, but I can't say for sure.