From 96cae90a3161a60b29fb1e8160993874be8ffd4d Mon Sep 17 00:00:00 2001
From: Christian Hesse <mail@eworm.de>
Date: Fri, 21 Aug 2015 14:09:42 +0200
Subject: [PATCH 1/1] there is just one menu shortcut key

Signed-off-by: Christian Hesse <mail@eworm.de>
---
 terminal/terminal-preferences.glade | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/terminal/terminal-preferences.glade b/terminal/terminal-preferences.glade
index a4a9284..e946162 100644
--- a/terminal/terminal-preferences.glade
+++ b/terminal/terminal-preferences.glade
@@ -2859,7 +2859,7 @@ when double clicking:</property>
                             </child>
                             <child>
                               <object class="GtkCheckButton" id="shortcuts-no-menukey">
-                                <property name="label" translatable="yes">Disable m_enu shortcut keys (F10 by default)</property>
+                                <property name="label" translatable="yes">Disable m_enu shortcut key (F10 by default)</property>
                                 <property name="use_action_appearance">False</property>
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
-- 
2.5.0