[gnome-games] fullscreen-box: Fix headerbar autohide

[Alexander Mikhaylenko <alexm src gnome org>]

commit fc380ecadd83452e24a6bc9233841f89f746d9f4
Author: Alexander Mikhaylenko <exalm7659 gmail com>
Date:   Sun Aug 11 04:41:09 2019 +0500

    fullscreen-box: Fix headerbar autohide
    
    Set default 'autohide' property to true, check if value changed in setter.
    
    Forcefully reveal headerbar if set to false.

 src/ui/fullscreen-box.vala | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)
---
diff --git a/src/ui/fullscreen-box.vala b/src/ui/fullscreen-box.vala
index dcb767df..a4bc3ff0 100644
--- a/src/ui/fullscreen-box.vala
+++ b/src/ui/fullscreen-box.vala
@@ -7,10 +7,13 @@ private class Games.FullscreenBox : Gtk.EventBox, Gtk.Buildable {
 
        public bool is_fullscreen { get; set; }
 
-       private bool _autohide;
+       private bool _autohide = true;
        public bool autohide {
                get { return _autohide; }
                set {
+                       if (autohide == value)
+                               return;
+
                        _autohide = value;
 
                        if (value) {
@@ -29,6 +32,7 @@ private class Games.FullscreenBox : Gtk.EventBox, Gtk.Buildable {
                                        cursor_timeout_id = -1;
                                }
 
+                               header_bar_revealer.reveal_child = true;
                                show_cursor (true);
                        }
                }