From c8397de79fb37d54e9a94efc43d9a03505da4e3c Mon Sep 17 00:00:00 2001
From: Florent Rougon <f.rougon@free.fr>
Date: Mon, 8 May 2017 01:01:07 +0200
Subject: [PATCH] Small change to a tooltip

---
 Translations/en/tips.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Translations/en/tips.xml b/Translations/en/tips.xml
index 951b2f17b..def2f33de 100644
--- a/Translations/en/tips.xml
+++ b/Translations/en/tips.xml
@@ -13,7 +13,7 @@
 	<tip n="6">Press F3 to take a screenshot</tip>
 	<tip n="7">Join the FlightGear community at http://forum.flightgear.org</tip>
 	<tip n="8">Press h to bring up a Heads Up Display</tip>
-	<tip n="9">Hide the menu bar by pressing F10</tip>
+	<tip n="9">Show or hide the menu bar by pressing F10</tip>
 	<tip n="10">Frame-rate too low? - try disabling AI traffic</tip>
 	<tip n="11">Select Environment->Weather to fly in different weather</tip>
 	<tip n="12">Press F12 to change the radio frequencies easily</tip>