sander,
Since there's a chance the root cause of your issue is slightly different to the original report here, please open a new bug by running:
ubuntu-bug gnome-shell
sander,
Since there's a chance the root cause of your issue is slightly different to the original report here, please open a new bug by running:
ubuntu-bug gnome-shell