1e77e6fc79
Add a getter to PageIndicators to retrieve the number of pages it currently displays. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1271