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)
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)