
The PageManager does the heavy lifting between reading the 'app-picker-layout' GSettings key, and saving the new pages. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1284
The PageManager does the heavy lifting between reading the 'app-picker-layout' GSettings key, and saving the new pages. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1284