[devhelp] window: Use popver for the gear menu

[Aleksander Morgado <aleksm src gnome org>]

commit 3471eb20c23cb7551fde7c3ef8f2cfd32063de91
Author: Yosef Or Boczko <yoseforb src gnome org>
Date:   Mon Feb 17 15:16:15 2014 +0200

    window: Use popver for the gear menu
    
    https://bugzilla.gnome.org/show_bug.cgi?id=724538

 configure.ac     |    2 +-
 src/dh-window.ui |    1 +
 2 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index 43d1424..3bce89c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -49,7 +49,7 @@ AC_SUBST(LIBM)
 
 PKG_CHECK_MODULES(DEVHELP, [
   gthread-2.0 >= 2.10.0
-  gtk+-3.0 >= 3.9.10
+  gtk+-3.0 >= 3.11.6
   webkit2gtk-3.0 >= 2.0.0
   gio-2.0 >= 2.37.3
 ])
diff --git a/src/dh-window.ui b/src/dh-window.ui
index abf369e..67176d4 100644
--- a/src/dh-window.ui
+++ b/src/dh-window.ui
@@ -168,6 +168,7 @@
             <property name="can_focus">False</property>
             <property name="action_name">win.gear-menu</property>
             <property name="menu_model">gear_menu</property>
+            <property name="use_popover">True</property>
             <style>
               <class name="image-button"/>
             </style>