X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FUser-interface-options.html;h=d12115c2aa73c0eb3a24bc4a8c95eb6d93de3f62;hb=850ec289bc23bfd4e81a4357348bb12b7c5726ae;hp=dd319c46fa60c3dab591f85f1c0613574d113f6f;hpb=5acdc0c401a6b8d61ff3926783ae252b0d318a35;p=xboard.git

diff --git a/manual/html_node/User-interface-options.html b/manual/html_node/User-interface-options.html
index dd319c4..d12115c 100644
--- a/manual/html_node/User-interface-options.html
+++ b/manual/html_node/User-interface-options.html
@@ -210,6 +210,13 @@ Defaults:
 <br><dt>-animate/-xanimate or -animateMoving true/false<dd><a name="index-animate_002c-option-345"></a><a name="index-animateMoving_002c-option-346"></a>Sets the Animate Moving menu option. See <a href="Options-Menu.html#Options-Menu">Options Menu</a>.  Default: true. 
 <br><dt>-animateSpeed n<dd><a name="index-g_t_002danimateSpeed_002c-option-347"></a>Number of milliseconds delay between each animation frame when Animate
 Moves is on. 
+<br><dt>-autoDisplayComment true/false<dt>-autoDisplayTags true/false<dd><a name="index-g_t_002dautoDisplayComment_002c-option-348"></a><a name="index-g_t_002dautoDisplayTags_002c-option-349"></a>If set to true, these options cause the window with the move comments,
+and the window with PGN tags, respectively, to pop up automatically when
+such tags or comments are encountered during the replaying a stored or
+loaded game.  Default: true. 
+<br><dt>-pasteSelection true/false<dd><a name="index-g_t_002dpasteSelection_002c-option-350"></a>If this option is set to true, the Paste Position and Paste Game
+options paste from the currently selected text.  If false, they paste
+from the clipboard.  Default: false. 
 </dl>
 
    </body></html>