Ubuntu
gnome-shell package

  1. Bug #1236749
  2. Comment #18

Comment 18 for bug 1236749

Revision history for this message
gutigen (gutigen) wrote :

Same issue in Ubuntu Gnome 13.10 with Gnome 3.10, C.Robinson workaround doesn't solve it.