84c33157a2
We want the list to keep updating, so periodically request scans from NetworkManager. The code follows what Settings does in its wifi panel, including the used interval. There's a cute little spinner in the menu header now, to indicate an ongoing scan. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2408>