X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FUser-interface-options.html;h=dccb8ceec851d7527833a73940aa1af7c51bc5bf;hb=69f0f0d43082614cf23c38fba91c023a5c4ea12e;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..dccb8ce 100644 --- a/manual/html_node/User-interface-options.html +++ b/manual/html_node/User-interface-options.html @@ -3,7 +3,7 @@ User interface options - XBoard - + @@ -24,8 +24,8 @@
-

+

Next: , Previous: Load and Save options, Up: Options @@ -210,6 +210,13 @@ Defaults:

-animate/-xanimate or -animateMoving true/false
Sets the Animate Moving menu option. See Options Menu. Default: true.
-animateSpeed n
Number of milliseconds delay between each animation frame when Animate Moves is on. +
-autoDisplayComment true/false
-autoDisplayTags true/false
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. +
-pasteSelection true/false
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.