Ubuntu
gnome-shell package

  1. Bug #1514357
  2. Comment #9

Comment 9 for bug 1514357

Revision history for this message
RK (shandolad) wrote :

For now, an easy workaround is to restart the shell (alt+F2, typing "r"), which fixes the problem for a while.