[gnome-games/wip/exalm/preferences: 11/13] preferences-page: Remove title property

[Alexander Mikhaylenko <alexm src gnome org>]

commit 6c41d5985b2cf8548a92826e215220efc7723d7f
Author: Alexander Mikhaylenko <alexm gnome org>
Date:   Tue Jun 2 16:59:24 2020 +0500

    preferences-page: Remove title property
    
    It's not used anymore.

 src/ui/preferences-page-controllers.vala   | 1 -
 src/ui/preferences-page-import-export.vala | 4 ----
 src/ui/preferences-page-platforms.vala     | 2 --
 src/ui/preferences-page-video.vala         | 1 -
 src/ui/preferences-page.vala               | 1 -
 5 files changed, 9 deletions(-)
---
diff --git a/src/ui/preferences-page-controllers.vala b/src/ui/preferences-page-controllers.vala
index 1af6b712..7bbdcb19 100644
--- a/src/ui/preferences-page-controllers.vala
+++ b/src/ui/preferences-page-controllers.vala
@@ -17,7 +17,6 @@ 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-import-export.vala b/src/ui/preferences-page-import-export.vala
index 57c8f5f3..b252cf2b 100644
--- a/src/ui/preferences-page-import-export.vala
+++ b/src/ui/preferences-page-import-export.vala
@@ -2,10 +2,6 @@
 
 [GtkTemplate (ui = "/org/gnome/Games/ui/preferences-page-import-export.ui")]
 private class Games.PreferencesPageImportExport : PreferencesPage {
-       construct {
-               title = _("Import & Export");
-       }
-
        [GtkCallback]
        private void on_import_clicked () {
                var toplevel = get_toplevel () as Gtk.Window;
diff --git a/src/ui/preferences-page-platforms.vala b/src/ui/preferences-page-platforms.vala
index c04a81a9..02bcd27b 100644
--- a/src/ui/preferences-page-platforms.vala
+++ b/src/ui/preferences-page-platforms.vala
@@ -6,8 +6,6 @@ private class Games.PreferencesPagePlatforms : PreferencesPage {
        private Hdy.PreferencesGroup platforms_group;
 
        construct {
-               title = _("Platforms");
-
                var register = PlatformRegister.get_register ();
                var platforms = register.get_all_platforms ();
 
diff --git a/src/ui/preferences-page-video.vala b/src/ui/preferences-page-video.vala
index 780a9713..929ac7d5 100644
--- a/src/ui/preferences-page-video.vala
+++ b/src/ui/preferences-page-video.vala
@@ -59,6 +59,5 @@ private class Games.PreferencesPageVideo : PreferencesPage {
                settings = new Settings ("org.gnome.Games");
                settings.bind ("video-filter", this, "filter-active",
                               SettingsBindFlags.DEFAULT);
-               title = _("Video");
        }
 }
diff --git a/src/ui/preferences-page.vala b/src/ui/preferences-page.vala
index c96e242a..911996fe 100644
--- a/src/ui/preferences-page.vala
+++ b/src/ui/preferences-page.vala
@@ -3,7 +3,6 @@
 [GtkTemplate (ui = "/org/gnome/Games/ui/preferences-page.ui")]
 private class Games.PreferencesPage : Gtk.Bin, Gtk.Buildable {
        public PreferencesSubpage subpage { get; set; }
-       public string title { get; construct set; }
 
        [GtkChild]
        private Gtk.Label error_label;