diff doc/main_window_image_pane.html @ 1159:e2ca6295c5d0

Replace [Control] by shorter and more common [Ctrl].

--- a/doc/main_window_image_pane.html	Wed Nov 19 21:16:27 2008 +0000
+++ b/doc/main_window_image_pane.html	Wed Nov 19 21:36:02 2008 +0000
@@ -56,7 +56,7 @@
   <p>When the image size is larger than the image pane, the visible region can be changed with the keyboard or mouse. The keyboard can also be used to adjust the orientation of the image.</p>
 
   <h3>Keyboard</h3>
-  <p>Use the arrow keys to pan the image in the desired direction, to increase the panning speed hold down the [Shift] key while pressing an arrow key.<br />Press [Control] and an arrow key to move to the respective edge of the image. The image can only be panned with the keyboard when the image has the focus, indicated by a dotted line surrounding the image pane.</p>
+  <p>Use the arrow keys to pan the image in the desired direction, to increase the panning speed hold down the [Shift] key while pressing an arrow key.<br />Press [Ctrl] and an arrow key to move to the respective edge of the image. The image can only be panned with the keyboard when the image has the focus, indicated by a dotted line surrounding the image pane.</p>
 
   <div class="shortcuts">
     <table width="80%" border="1" cellpadding="2" cellspacing="0">
@@ -208,7 +208,7 @@
   <h3>Mouse</h3>
   <p>Press the primary mouse button on the image and hold it, then move the mouse to pan the image in the desired direction. Releasing the mouse button will stop the panning operation. The mouse wheel can also be used to scroll the image when holding down the [Shift] key <a href="#bottomnote1" class="bottomnote">(*)</a>.</p>
 
-  <p>To scale the image size hold down the [Control] key and scroll the mouse wheel up to zoom in, or down to zoom out.</p>
+  <p>To scale the image size hold down the [Ctrl] key and scroll the mouse wheel up to zoom in, or down to zoom out.</p>
 
   <h4>Smooth Scroll</h4>
   <p>To start the smooth scroll function hold down the [Shift] key and click the primary mouse button. An icon will appear at the location of the mouse pointer, the mouse can then be positioned to pan the image. The image will pan in the direction of the mouse pointer relative to the icon. The pan speed will increase in proportion to the distance that the pointer is from the center of the icon. To end the smooth scroll function click the primary mouse button within the image pane.</p>