[gnome-games/wip/sevagen/autohide: 3/4] runner: Require extra widgets to implement HeaderBarWidget

[Alexander Mikhaylenko <alexm src gnome org>]

commit 1ea54c84bafe327254d84bc42b06c870c7d4a9a1
Author: sevagen <sevagenv gmail com>
Date:   Tue Feb 18 22:07:51 2020 +0530

    runner: Require extra widgets to implement HeaderBarWidget

 plugins/nintendo-ds/src/nintendo-ds-runner.vala | 2 +-
 src/command/command-runner.vala                 | 2 +-
 src/core/runner.vala                            | 2 +-
 src/retro/retro-runner.vala                     | 2 +-
 src/ui/display-header-bar.vala                  | 4 ++--
 5 files changed, 6 insertions(+), 6 deletions(-)
---
diff --git a/plugins/nintendo-ds/src/nintendo-ds-runner.vala b/plugins/nintendo-ds/src/nintendo-ds-runner.vala
index 84ee4eed..6e78b927 100644
--- a/plugins/nintendo-ds/src/nintendo-ds-runner.vala
+++ b/plugins/nintendo-ds/src/nintendo-ds-runner.vala
@@ -59,7 +59,7 @@ private class Games.NintendoDsRunner : RetroRunner {
                }
        }
 
-       public override Gtk.Widget? get_extra_widget () {
+       public override HeaderBarWidget? get_extra_widget () {
                if (!core_supports_layouts ())
                        return null;
 
diff --git a/src/command/command-runner.vala b/src/command/command-runner.vala
index 1adeeb7a..17c36597 100644
--- a/src/command/command-runner.vala
+++ b/src/command/command-runner.vala
@@ -49,7 +49,7 @@ public class Games.CommandRunner : Object, Runner {
                return new RemoteDisplay ();
        }
 
-       public Gtk.Widget? get_extra_widget () {
+       public HeaderBarWidget? get_extra_widget () {
                return null;
        }
 
diff --git a/src/core/runner.vala b/src/core/runner.vala
index 83b4e3b2..298aaa3e 100644
--- a/src/core/runner.vala
+++ b/src/core/runner.vala
@@ -13,7 +13,7 @@ public interface Games.Runner : Object {
        public abstract InputMode input_mode { get; set; }
 
        public abstract Gtk.Widget get_display ();
-       public abstract Gtk.Widget? get_extra_widget ();
+       public abstract HeaderBarWidget? get_extra_widget ();
 
        public abstract bool try_init_phase_one (out string error_message);
        public abstract void start () throws Error;
diff --git a/src/retro/retro-runner.vala b/src/retro/retro-runner.vala
index c77c691e..ad32d8fe 100644
--- a/src/retro/retro-runner.vala
+++ b/src/retro/retro-runner.vala
@@ -159,7 +159,7 @@ public class Games.RetroRunner : Object, Runner {
                return view;
        }
 
-       public virtual Gtk.Widget? get_extra_widget () {
+       public virtual HeaderBarWidget? get_extra_widget () {
                return null;
        }
 
diff --git a/src/ui/display-header-bar.vala b/src/ui/display-header-bar.vala
index f98221f5..4595bf33 100644
--- a/src/ui/display-header-bar.vala
+++ b/src/ui/display-header-bar.vala
@@ -36,8 +36,8 @@ private class Games.DisplayHeaderBar : Gtk.Bin {
                }
        }
 
-       private Gtk.Widget _extra_widget;
-       private Gtk.Widget extra_widget {
+       private HeaderBarWidget _extra_widget;
+       private HeaderBarWidget extra_widget {
                get { return _extra_widget; }
                set {
                        if (extra_widget == value)