This bug was fixed in the package gnome-shell-extensions - 3.14.3-0ubuntu1
--------------- gnome-shell-extensions (3.14.3-0ubuntu1) vivid; urgency=medium
* New upstream release (LP: #1399047) -- Tim Lunn <email address hidden> Thu, 25 Dec 2014 08:11:50 +1100
This bug was fixed in the package gnome-shell- extensions - 3.14.3-0ubuntu1
--------------- extensions (3.14.3-0ubuntu1) vivid; urgency=medium
gnome-shell-
* New upstream release (LP: #1399047)
-- Tim Lunn <email address hidden> Thu, 25 Dec 2014 08:11:50 +1100