Ubuntu
gnome-tweaks package

  1. Bug #1718850
  2. Comment #13

Comment 13 for bug 1718850

Revision history for this message
Didier Roche-Tolomelli (didrocks) wrote : Re: Mode extensions appear off by default

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