[gnome-documents] Use header bars in dialogs

[Debarshi Ray <debarshir src gnome org>]

commit 1aa0e256dd6c857ee2d4e78fd18a4766000cc0cd
Author: Debarshi Ray <debarshir gnome org>
Date:   Fri Mar 14 15:17:32 2014 +0100

    Use header bars in dialogs
    
    ... and use Gtk.ResponseType.CLOSE instead of Gtk.ResponseType.OK so
    that the close button is hidden.
    
    Bump minimum GTK+ version to 3.11.5.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=726343

 configure.ac      |    2 +-
 src/password.js   |    1 +
 src/properties.js |    5 +++--
 src/selections.js |    1 +
 src/sharing.js    |    3 ++-
 5 files changed, 8 insertions(+), 4 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index 56a8b6e..dbea02a 100644
--- a/configure.ac
+++ b/configure.ac
@@ -52,7 +52,7 @@ AC_SUBST(LIBM)
 EVINCE_MIN_VERSION=3.7.4
 WEBKITGTK_MIN_VERSION=1.10.0
 GLIB_MIN_VERSION=2.37.0
-GTK_MIN_VERSION=3.11.4
+GTK_MIN_VERSION=3.11.5
 GOBJECT_INTROSPECTION_MIN_VERSION=1.31.6
 GDATA_MIN_VERSION=0.13.3
 GOA_MIN_VERSION=3.2.0
diff --git a/src/password.js b/src/password.js
index 3a09b10..3cf526d 100644
--- a/src/password.js
+++ b/src/password.js
@@ -40,6 +40,7 @@ const PasswordDialog = new Lang.Class({
                                        transient_for: toplevel,
                                        modal: true,
                                        destroy_with_parent: true,
+                                       use_header_bar: true,
                                        default_width: 400,
                                        border_width: 6,
                                        title: _("Password Required"),
diff --git a/src/properties.js b/src/properties.js
index 515757f..f4441cf 100644
--- a/src/properties.js
+++ b/src/properties.js
@@ -56,11 +56,12 @@ const PropertiesDialog = new Lang.Class({
                                         transient_for: toplevel,
                                         modal: true,
                                         destroy_with_parent: true,
+                                        use_header_bar: true,
                                         default_width: 400,
                                         title: _("Properties"),
                                         hexpand: true });
-        this.widget.add_button(_("Done"), Gtk.ResponseType.OK);
-        this.widget.set_default_response(Gtk.ResponseType.OK);
+        this.widget.add_button(_("Done"), Gtk.ResponseType.CLOSE);
+        this.widget.set_default_response(Gtk.ResponseType.CLOSE);
 
         let grid = new Gtk.Grid ({ orientation: Gtk.Orientation.VERTICAL,
                                    row_homogeneous: true,
diff --git a/src/selections.js b/src/selections.js
index afc6c51..8beba01 100644
--- a/src/selections.js
+++ b/src/selections.js
@@ -633,6 +633,7 @@ const OrganizeCollectionDialog = new Lang.Class({
         this.widget = new Gtk.Dialog({ transient_for: toplevel,
                                        modal: true,
                                        destroy_with_parent: true,
+                                       use_header_bar: true,
                                        default_width: 400,
                                        default_height: 250,
         // Translators: "Collections" refers to documents in this context
diff --git a/src/sharing.js b/src/sharing.js
index 5a4bbf8..4d828d9 100644
--- a/src/sharing.js
+++ b/src/sharing.js
@@ -92,13 +92,14 @@ const SharingDialog = new Lang.Class({
                                        transient_for: toplevel,
                                        modal: true,
                                        destroy_with_parent: true,
+                                       use_header_bar: true,
                                        width_request: 335,
                                        margin_top: 5,
                                        title: _("Sharing Settings"),
                                        hexpand: true });
 
         // Label for Done button in Sharing dialog
-        this.widget.add_button(_("Done"), Gtk.ResponseType.OK);
+        this.widget.add_button(_("Done"), Gtk.ResponseType.CLOSE);
 
         let mainGrid = new Gtk.Grid({ orientation: Gtk.Orientation.VERTICAL,
                                       column_spacing: 6,