Ubuntu
gnome-shell package

  1. Bug #2051543
  2. Comment #10

Comment 10 for bug 2051543

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

You can also use the 'Extensions' app to disable them.