Ubuntu
gnome-tweak-tool package

  1. Bug #1713020
  2. Comment #12

Comment 12 for bug 1713020

Revision history for this message
Jeremy Bícha (jbicha) wrote :

Thank you for taking the time to report this bug and help make Ubuntu better.

I'm marking this a duplicate of bug 1718850 because that's the bug we're using to track Tweaks not showing that "system" extensions like the Ubuntu Dock cannot be disabled.