commit 8cca354e303c3715fb725ddcc0331ede7a733479
parent 6f2e17c6d8db8942b7862efda8c0510e0f336b98
Author: Ricardo Mones <ricardo@mones.org>
Date: Wed, 25 Feb 2015 13:49:00 +0100
Fix bug #3389 ‘document 'F12' shortcut’
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git 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>