[gnome-system-monitor] Use a popover for gear menu

[Robert Roth <robertroth src gnome org>]

commit f88830bdf553a7b0cbe0425265d80e55f7e5428e
Author: Stefano Facchini <stefano facchini gmail com>
Date:   Tue Apr 8 14:50:40 2014 +0200

    Use a popover for gear menu
    
    https://bugzilla.gnome.org/show_bug.cgi?id=727828

 data/interface.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/data/interface.ui b/data/interface.ui
index cfddb20..6435543 100644
--- a/data/interface.ui
+++ b/data/interface.ui
@@ -24,6 +24,7 @@
           <object class="GtkMenuButton" id="process_menu_button">
             <property name="visible">True</property>
             <property name="can_focus">True</property>
+            <property name="use_popover">True</property>
             <property name="valign">center</property>
             <property name="halign">end</property>
             <style>