[gnome-system-monitor] Added F10 shortcut for hamburger menu (bgo#776430)



commit 452f88c6598f40a66afb31243550878b530961ef
Author: Robert Roth <robert roth off gmail com>
Date:   Mon May 22 19:46:55 2017 +0300

    Added F10 shortcut for hamburger menu (bgo#776430)

 data/interface.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/data/interface.ui b/data/interface.ui
index 0db4b36..bba3bb6 100644
--- a/data/interface.ui
+++ b/data/interface.ui
@@ -28,6 +28,7 @@
             <property name="valign">center</property>
             <property name="halign">end</property>
             <property name="direction">none</property>
+            <accelerator key="F10" signal="clicked"/>
             <style>
               <class name="title-button"/>
             </style>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]