1f178e83d3
With menu support in place, this is now a straight-forward port: Just add the existing profiles section to a QuickToggleMenu instead of a submenu item. The toggle itself now switches between 'balanced' and the last used non-default profile. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2393>