Right, gnome-tweak-tools should communicate better that you can't do the action and why (and maybe what to do if you really want to change those settings, install GNOME vanilla and use that one)
** Package changed: gnome-shell-extension-ubuntu-dock (Ubuntu) => gnome- tweak-tool (Ubuntu) -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1713020 Title: Ubuntu Dock extension cannot be disabled in the Ubuntu session To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-tweak-tool/+bug/1713020/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
