[gnome-system-monitor] Added F10 shortcut for hamburger menu (bgo#776430)
- From: Robert Roth <robertroth src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-system-monitor] Added F10 shortcut for hamburger menu (bgo#776430)
- Date: Mon, 22 May 2017 16:47:13 +0000 (UTC)
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]