Mark H Weaver writes: > Does this still fail for you? Since GNOME Shell started working again, > I tried gnome-tweak-tool and it works for me. Installing the latest version of GNOME shell has fixed this issue. I've tried to close this bug report by adding 27287-done@debbugs.gnu.org to the "To" header of my email, as described in the Debbugs documentation [1]. This is the first time I've ever tried to close a Debbugs bug report myself like this; hopefully it will just work. [1] https://debbugs.gnu.org/Developer.html#tags -- Chris