Ubuntu
ubuntu-meta package

  1. Bug #1832407
  2. Comment #3

Comment 3 for bug 1832407

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

I agree this should be fixed, but it's also not a priority. You can disable them in the Extensions app (sudo apt install gnome-shell-extension-prefs).