FYI, I started the discussion on the GNOME Shell mailing list in october: https://mail.gnome.org/archives/gnome-shell-list/2017-October/msg00034.html There is a pending request with patches posted in November on upstream bugzilla: https://bugzilla.gnome.org/show_bug.cgi?id=789852 and patches in Tweaks are waiting on the GNOME Shell part to be merged.
I migrated everything over gitlab once GNOME Shell project was moved to it: https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1 ** Bug watch added: GNOME Bug Tracker #789852 https://bugzilla.gnome.org/show_bug.cgi?id=789852 -- 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: Mode 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