[devhelp] Use headerbar in the preferences dialog

[Yosef Or Boczko <yoseforb src gnome org>]

commit 9f0a82cfb89ec8799052baa0aebc73cc41b13211
Author: Yosef Or Boczko <yoseforb src gnome org>
Date:   Wed Mar 26 03:14:17 2014 +0200

    Use headerbar in the preferences dialog
    
    Bump requirements for GTK+ for the use-header-bar
    property.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=727064

 configure.ac          |    2 +-
 src/dh-preferences.ui |   34 ++--------------------------------
 2 files changed, 3 insertions(+), 33 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index 3bce89c..74be6a1 100644
--- a/configure.ac
+++ b/configure.ac
@@ -55,7 +55,7 @@ PKG_CHECK_MODULES(DEVHELP, [
 ])
 
 PKG_CHECK_MODULES(LIBDEVHELP, [
-  gtk+-3.0 >= 3.9.8
+  gtk+-3.0 >= 3.12.0
   gio-2.0 >= 2.37.3
   webkit2gtk-3.0 >= 2.0.0
 ])
diff --git a/src/dh-preferences.ui b/src/dh-preferences.ui
index 90f70c1..9d0b987 100644
--- a/src/dh-preferences.ui
+++ b/src/dh-preferences.ui
@@ -41,41 +41,14 @@
     <property name="title" translatable="yes">Preferences</property>
     <property name="default_width">500</property>
     <property name="default_height">400</property>
-    <property name="type_hint">dialog</property>
+    <property name="type_hint">normal</property>
+    <property name="use_header_bar">1</property>
     <child internal-child="vbox">
       <object class="GtkBox" id="dialog-vbox1">
         <property name="visible">True</property>
         <property name="can_focus">False</property>
         <property name="orientation">vertical</property>
         <property name="spacing">2</property>
-        <child internal-child="action_area">
-          <object class="GtkButtonBox" id="dialog-action_area1">
-            <property name="visible">True</property>
-            <property name="can_focus">False</property>
-            <property name="layout_style">end</property>
-            <child>
-              <object class="GtkButton" id="preferences_close_button">
-                <property name="label">gtk-close</property>
-                <property name="visible">True</property>
-                <property name="can_focus">True</property>
-                <property name="can_default">True</property>
-                <property name="receives_default">False</property>
-                <property name="use_stock">True</property>
-              </object>
-              <packing>
-                <property name="expand">False</property>
-                <property name="fill">False</property>
-                <property name="position">0</property>
-              </packing>
-            </child>
-          </object>
-          <packing>
-            <property name="expand">False</property>
-            <property name="fill">True</property>
-            <property name="pack_type">end</property>
-            <property name="position">0</property>
-          </packing>
-        </child>
         <child>
           <object class="GtkAlignment" id="alignment1">
             <property name="visible">True</property>
@@ -338,8 +311,5 @@
         </child>
       </object>
     </child>
-    <action-widgets>
-      <action-widget response="-7">preferences_close_button</action-widget>
-    </action-widgets>
   </template>
 </interface>