[gnome-system-monitor] Use a popover for gear menu
- From: Robert Roth <robertroth src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-system-monitor] Use a popover for gear menu
- Date: Sat, 12 Apr 2014 10:20:51 +0000 (UTC)
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>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]