[gnome-boxes] app: Request to hide titlebar when maximized

[Marc-Andre Lureau <malureau src gnome org>]

commit 987352049605f657d5ca500d33e751f5c11385f6
Author: Florian MÃllner <fmuellner gnome org>
Date:   Sat Dec 3 02:00:31 2011 +0100

    app: Request to hide titlebar when maximized
    
    Applications which are designed accordingly can request to have
    their titlebar hidden when maximized[0]. Boxes definitively
    qualifies, so set the corresponding property on the main window.
    
    [0] https://live.gnome.org/GnomeOS/Design/Whiteboards/WindowStates
    
    https://bugzilla.gnome.org/show_bug.cgi?id=666355

 configure.ac                |    2 +-
 src/app.vala                |    1 +
 vapi/upstream/gtk+-3.0.vapi |    3 +++
 3 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index efd1d9f..b26154e 100644
--- a/configure.ac
+++ b/configure.ac
@@ -47,7 +47,7 @@ GLIB_GSETTINGS
 CLUTTER_GTK_MIN_VERSION=1.0.1
 GLIB_MIN_VERSION=2.29.90
 GOBJECT_INTROSPECTION_MIN_VERSION=0.9.6
-GTK_MIN_VERSION=3.3.3
+GTK_MIN_VERSION=3.3.5
 GTK_VNC_MIN_VERSION=0.4.4
 LIBVIRT_GLIB_MIN_VERSION=0.0.3
 LIBVIRT_GCONFIG_MIN_VERSION=0.0.4
diff --git a/src/app.vala b/src/app.vala
index df93bd2..6dd4dff 100644
--- a/src/app.vala
+++ b/src/app.vala
@@ -178,6 +178,7 @@ private class Boxes.App: Boxes.UI {
 
     private void setup_ui () {
         window = new Gtk.Window ();
+        window.set_hide_titlebar_when_maximized (true);
 
         // restore window geometry/position
         var size = settings.get_value ("window-size");
diff --git a/vapi/upstream/gtk+-3.0.vapi b/vapi/upstream/gtk+-3.0.vapi
index e48398c..d458057 100644
--- a/vapi/upstream/gtk+-3.0.vapi
+++ b/vapi/upstream/gtk+-3.0.vapi
@@ -5760,6 +5760,7 @@ namespace Gtk {
 		public unowned Gtk.Widget get_default_widget ();
 		public bool get_deletable ();
 		public bool get_destroy_with_parent ();
+		public bool get_hide_titlebar_when_maximized ();
 		public unowned Gtk.Widget get_focus ();
 		public bool get_focus_on_map ();
 		public bool get_focus_visible ();
@@ -5815,6 +5816,7 @@ namespace Gtk {
 		public void set_default_size (int width, int height);
 		public void set_deletable (bool setting);
 		public void set_destroy_with_parent (bool setting);
+		public void set_hide_titlebar_when_maximized (bool setting);
 		public void set_focus_on_map (bool setting);
 		public void set_focus_visible (bool setting);
 		public void set_geometry_hints (Gtk.Widget geometry_widget, Gdk.Geometry geometry, Gdk.WindowHints geom_mask);
@@ -5856,6 +5858,7 @@ namespace Gtk {
 		public int default_width { get; set; }
 		public bool deletable { get; set; }
 		public bool destroy_with_parent { get; set; }
+		public bool hide_titlebar_when_maximized { get; set; }
 		public bool focus_on_map { get; set; }
 		public bool focus_visible { get; set; }
 		public Gdk.Gravity gravity { get; set; }