Ubuntu 20.04: This is still a problem in gnome-tweaks. But you can ignore it and instead use the 'Extensions' app which seems to come from installing package 'gnome-shell-extension-prefs'.
** Changed in: gnome-tweaks (Ubuntu) Importance: Undecided => Medium ** Summary changed: - Mode extensions appear off by default + Gnome Tweaks: Extensions appear off by default -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1718850 Title: Gnome Tweaks: Extensions appear off by default To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-release-notes/+bug/1718850/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
