updated manual to 4.7.0

[xboard.git] / manual / html_node / Keys.html

diff --git a/manual/html_node/Keys.html b/manual/html_node/Keys.html
index ce12c7d..289c5e7 100644 (file)
--- a/manual/html_node/Keys.html
+++ b/manual/html_node/Keys.html
@@ -32,18 +32,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="Menus.html#Menus">Menus</a>
 
 <h3 class="section">3.9 Other Shortcut Keys</h3>
 
-<p><a name="index-Keys-181"></a><a name="index-Shortcut-keys-182"></a>
+<p><a name="index-Keys-186"></a><a name="index-Shortcut-keys-187"></a>
      <dl>
-<dt>Show Last Move<dd><a name="index-Show-Last-Move_002c-Shortcut-Key-183"></a>By hitting <kbd>Enter</kbd> the last move will be re-animated. 
-<br><dt>Load Next Game<dd><a name="index-Load-Next-Game_002c-Menu-Item-184"></a>Loads the next game from the last game record file you loaded. 
+<dt>Show Last Move<dd><a name="index-Show-Last-Move_002c-Shortcut-Key-188"></a>By hitting <kbd>Enter</kbd> the last move will be re-animated. 
+<br><dt>Load Next Game<dd><a name="index-Load-Next-Game_002c-Menu-Item-189"></a>Loads the next game from the last game record file you loaded. 
 The <kbd>Alt+PgDn</kbd> key triggers this action. 
-<br><dt>Load Previous Game<dd><a name="index-Load-Previous-Game_002c-Menu-Item-185"></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-190"></a>Loads the previous game from the last game record file you
 loaded.  The <kbd>Alt+PgUp</kbd> key triggers this action. 
 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-186"></a>Reloads the last game you loaded. 
+<br><dt>Reload Same Game<dd><a name="index-Reload-Same-Game_002c-Menu-Item-191"></a>Reloads the last game you loaded. 
 Not available if the last game was loaded from a pipe. 
 Currently no keystroke is assigned to this ReloadGameProc. 
-<br><dt>Reload Same Position<dd><a name="index-Reload-Same-Position_002c-Menu-Item-187"></a>Reloads the last position you loaded. 
+<br><dt>Reload Same Position<dd><a name="index-Reload-Same-Position_002c-Menu-Item-192"></a>Reloads the last position you loaded. 
 Not available if the last position was loaded from a pipe. 
 Currently no keystroke is assigned to this ReloadPositionProc. 
 </dl>