Ubuntu
gnome-tweaks package

  1. Bug #1718850
  2. Comment #12

Comment 12 for bug 1718850

Revision history for this message
Jeremy Bícha (jbicha) wrote : Re: System extensions appear off by default

I filed https://bugzilla.gnome.org/783104 months ago requesting the ability to disable "system" (enabled by the GNOME Shell mode) extensions, but the bug was closed. :(