Ubuntu
gnome-shell package

  1. Bug #1236749
  2. Comment #44

Comment 44 for bug 1236749

Revision history for this message
Jason Stoops (stoopsj) wrote :

Workaround in #12 fixed this issue for me. UbuntuGnome 13.10, Gnome 3.10.1.