Ubuntu
gnome-tweaks package

  1. Bug #1718850
  2. Comment #18

Comment 18 for bug 1718850

Revision history for this message
Daniel van Vugt (vanvugt) wrote : Re: Mode extensions appear off by default

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'.