Fix bug #3389 ‘document 'F12' shortcut’

diff --git a/manual/keyboard.xml b/manual/keyboard.xml
index 4110d9238c0ad5a3ae7af8fb45820ba5f55ef548..3aec06298484c14581778ba9864480361ca723e0 100644 (file)
--- a/manual/keyboard.xml
+++ b/manual/keyboard.xml
@@ -85,6 +85,7 @@
          <row><entry><option>Shift+Ctrl+a</option></entry><entry>Open address book</entry></row>
          <row><entry><option>x</option></entry><entry>Execute</entry></row>
          <row><entry><option>Shift+Ctrl+l</option></entry><entry>Open log window</entry></row>
+         <row><entry><option>F12</option></entry><entry>Toggles menu bar visibility</entry></row>
         </tbody>
       </tgroup>
     </informaltable>