[gnome-boxes/wip/exalm/swipe: 2/2] welcome-tutorial: Use page indicator dots instead of subtitle

[Alexander Mikhaylenko <alexm src gnome org>]

commit 5d0e27a727586545e082ee7ff043aac0fece2f6a
Author: Alexander Mikhaylenko <alexm gnome org>
Date:   Wed Feb 19 19:10:45 2020 +0500

    welcome-tutorial: Use page indicator dots instead of subtitle
    
    Use a series of dots provided by HdyPaginator and remove the n/4 subtitle.

 data/ui/welcome-tutorial.ui | 2 ++
 src/welcome-tutorial.vala   | 4 ----
 2 files changed, 2 insertions(+), 4 deletions(-)
---
diff --git a/data/ui/welcome-tutorial.ui b/data/ui/welcome-tutorial.ui
index 94798ac0..d47a1e8b 100644
--- a/data/ui/welcome-tutorial.ui
+++ b/data/ui/welcome-tutorial.ui
@@ -26,6 +26,8 @@
               <object class="HdyPaginator" id="paginator">
                 <property name="visible">True</property>
                 <property name="animation-duration">400</property>
+                <property name="indicator-style">dots</property>
+                <property name="margin-bottom">12</property>
                 <signal name="notify::position" handler="on_position_changed"/>
 
                 <child>
diff --git a/src/welcome-tutorial.vala b/src/welcome-tutorial.vala
index 8bec1e81..1cf1c7d0 100644
--- a/src/welcome-tutorial.vala
+++ b/src/welcome-tutorial.vala
@@ -48,10 +48,6 @@ private void set_background_color (Gdk.RGBA color) {
     private void on_position_changed () {
         var n_pages = pages.length ();
         var position = paginator.position;
-        var index = (uint) Math.round (position);
-
-        var topbar = get_header_bar () as Gtk.HeaderBar;
-        topbar.subtitle = _("%u/%u").printf (index + 1, n_pages);
 
         // Toggle button's visibility
         go_back_button.opacity = double.min (position, 1);