X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FKeys.html;h=f0fa5f3244b9ff835f57c2f154b8634f9e7a8cfe;hb=7dd10a8fd47a1d2b9042e65e9504f3fb67e5b148;hp=b1abb7ce35193d3582a0a0b779193be56ee0cea1;hpb=738b5b92598a99945eb699ff67b2328072cfaf20;p=xboard.git

diff --git a/manual/html_node/Keys.html b/manual/html_node/Keys.html
index b1abb7c..f0fa5f3 100644
--- a/manual/html_node/Keys.html
+++ b/manual/html_node/Keys.html
@@ -30,9 +30,9 @@ Up:&nbsp;<a rel="up" accesskey="u" href="Menus.html#Menus">Menus</a>
 <hr>
 </div>
 
-<h3 class="section">2.9 Other Shortcut Keys</h3>
+<h3 class="section">3.9 Other Shortcut Keys</h3>
 
-<p><a name="index-Keys-123"></a><a name="index-Shortcut-keys-124"></a>
+<p><a name="index-Keys-147"></a><a name="index-Shortcut-keys-148"></a>
      <dl>
 <dt>Iconize<dd>Pressing the <kbd>-</kbd> key iconizes XBoard. The graphical
 icon displays a white knight if it is White's move, or a black knight
@@ -41,14 +41,14 @@ icons, not graphical ones, check its documentation; there is probably
 a way to enable graphical icons.  If you get black and white reversed,
 we would like to hear about it; see <a href="Problems.html#Problems">Problems</a> below for
 instructions on how to report this problem. 
-<br><dt>Load Next Game<dd><a name="index-Load-Next-Game_002c-Menu-Item-125"></a>Loads the next game from the last game record file you loaded. 
+<br><dt>Load Next Game<dd><a name="index-Load-Next-Game_002c-Menu-Item-149"></a>Loads the next game from the last game record file you loaded. 
 The <kbd>Alt+PgDn</kbd> key is a keyboard equivalent. 
-<br><dt>Load Previous Game<dd><a name="index-Load-Previous-Game_002c-Menu-Item-126"></a>Loads the previous game from the last game record file you
+<br><dt>Load Previous Game<dd><a name="index-Load-Previous-Game_002c-Menu-Item-150"></a>Loads the previous game from the last game record file you
 loaded.  The <kbd>Alt+PgUp</kbd> key is a keyboard equivalent. 
 Not available if the last game was loaded from a pipe. 
-<br><dt>Reload Same Game<dd><a name="index-Reload-Same-Game_002c-Menu-Item-127"></a>Reloads the last game you loaded. 
+<br><dt>Reload Same Game<dd><a name="index-Reload-Same-Game_002c-Menu-Item-151"></a>Reloads the last game you loaded. 
 Not available if the last game was loaded from a pipe. 
-<br><dt>Reload Same Position<dd><a name="index-Reload-Same-Position_002c-Menu-Item-128"></a>Reloads the last position you loaded. 
+<br><dt>Reload Same Position<dd><a name="index-Reload-Same-Position_002c-Menu-Item-152"></a>Reloads the last position you loaded. 
 Not available if the last position was loaded from a pipe. 
 </dl>