FYI, I started the discussion on the GNOME Shell mailing list in october:
There is a pending request with patches posted in November on upstream 
bugzilla: 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

** Bug watch added: GNOME Bug Tracker #789852

You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.

  Mode extensions appear off by default

To manage notifications about this bug go to:

desktop-bugs mailing list

Reply via email to