[gnome-shell/gbsneto/pagination: 15/16] pageIndicator: Add getter for current number of pages

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit a7ceba499de60694865aa783607da2c61f5dfc41
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date:   Mon May 25 16:51:26 2020 -0300

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

 js/ui/pageIndicators.js | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/js/ui/pageIndicators.js b/js/ui/pageIndicators.js
index 09186ed2c1..8ac44d4b2b 100644
--- a/js/ui/pageIndicators.js
+++ b/js/ui/pageIndicators.js
@@ -120,6 +120,10 @@ var PageIndicators = GObject.registerClass({
         for (let i = 0; i < children.length; i++)
             this._updateIndicator(children[i], i);
     }
+
+    get nPages() {
+        return this._nPages;
+    }
 });
 
 var AnimatedPageIndicators = GObject.registerClass(