[gnome-games/wip/exalm/pref-sidebar: 1/6] preferences-page: Add 'title' property

[Alexander Mikhaylenko <alexm src gnome org>]

commit 7001d0737a553c36aecdc10a82018d65e3e96955
Author: Alexander Mikhaylenko <exalm7659 gmail com>
Date:   Sun Oct 21 02:44:25 2018 +0500

    preferences-page: Add 'title' property
    
    This will be used in subsequent commits to get rid of page child
    properties.

 src/ui/preferences-page-controllers.vala | 1 +
 src/ui/preferences-page-plugins.vala     | 1 +
 src/ui/preferences-page-video.vala       | 1 +
 src/ui/preferences-page.vala             | 1 +
 4 files changed, 4 insertions(+)
---
diff --git a/src/ui/preferences-page-controllers.vala b/src/ui/preferences-page-controllers.vala
index b955259a..93561000 100644
--- a/src/ui/preferences-page-controllers.vala
+++ b/src/ui/preferences-page-controllers.vala
@@ -21,6 +21,7 @@ private class Games.PreferencesPageControllers: PreferencesPage {
                monitor.device_disconnected.connect (rebuild_gamepad_list);
                build_gamepad_list ();
                build_keyboard_list ();
+               title = _("Controllers");
        }
 
        private void rebuild_gamepad_list () {
diff --git a/src/ui/preferences-page-plugins.vala b/src/ui/preferences-page-plugins.vala
index 4df31040..667af5df 100644
--- a/src/ui/preferences-page-plugins.vala
+++ b/src/ui/preferences-page-plugins.vala
@@ -9,6 +9,7 @@ private class Games.PreferencesPagePlugins: PreferencesPage {
                var register = PluginRegister.get_register ();
                foreach (var plugin_registrar in register)
                        add_plugin_registrar (plugin_registrar);
+               title = _("Extensions");
        }
 
        private void add_plugin_registrar (PluginRegistrar plugin_registrar) {
diff --git a/src/ui/preferences-page-video.vala b/src/ui/preferences-page-video.vala
index ebb249ce..72d9f1fc 100644
--- a/src/ui/preferences-page-video.vala
+++ b/src/ui/preferences-page-video.vala
@@ -33,6 +33,7 @@ private class Games.PreferencesPageVideo: PreferencesPage {
                settings = new Settings ("org.gnome.Games");
                settings.bind ("video-filter", this, "filter-active",
                               SettingsBindFlags.DEFAULT);
+               title = _("Video");
        }
 
        [GtkCallback]
diff --git a/src/ui/preferences-page.vala b/src/ui/preferences-page.vala
index bc6e1ad9..efa52abe 100644
--- a/src/ui/preferences-page.vala
+++ b/src/ui/preferences-page.vala
@@ -3,6 +3,7 @@
 [GtkTemplate (ui = "/org/gnome/Games/ui/preferences-page.ui")]
 private class Games.PreferencesPage: Gtk.Bin, Gtk.Buildable {
        public PreferencesSubpage subpage { get; protected set; }
+       public string title { get; construct set; }
 
        [GtkChild]
        private Gtk.Box box;