diff doc/main_window_menus.html @ 1159:e2ca6295c5d0

Replace [Control] by shorter and more common [Ctrl].
author zas_
date Wed, 19 Nov 2008 21:36:02 +0000
parents c564ab6c11fc
children 2562e0bc89a1
line wrap: on
line diff
--- a/doc/main_window_menus.html	Wed Nov 19 21:16:27 2008 +0000
+++ b/doc/main_window_menus.html	Wed Nov 19 21:36:02 2008 +0000
@@ -287,7 +287,7 @@
 
             <tr>
               <td>
-                <p>[Control]</p>
+                <p>[Ctrl]</p>
               </td>
 
               <td>
@@ -308,7 +308,7 @@
           </table>
   </div>
 
-  <p>Modifiers can be combined, for example in the exit line above, the text would be &ldquo;&lt;control&gt;&lt;shift&gt;q&rdquo; to set the exit shortcut to [Control] + [Shift] + Q.</p>
+  <p>Modifiers can be combined, for example in the exit line above, the text would be &ldquo;&lt;control&gt;&lt;shift&gt;q&rdquo; to set the exit shortcut to [Ctrl] + [Shift] + Q.</p>
 
   <hr id="bottomseparator" />