Jeremy: Thanks, you're right. Instead of opening a new bug I would like to point to this one: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/970686 It seems to be "my" bug.
Jeremy: Thanks, you're right. Instead of opening a new bug I would like to point to this one: https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-shell/ +bug/970686 It seems to be "my" bug.