X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=manual%2Fhtml_node%2FOptions.html;h=9d17c83bc1d90185315d82e505162fb4f83e7a99;hb=f8e035410d7c94ad891763384096e500f91646b1;hp=dd96d8417beeecef056e68ccdd2f7ce7033866ff;hpb=9f6acd5975d8441b8f12dd6410adee43c72c6bda;p=xboard.git diff --git a/manual/html_node/Options.html b/manual/html_node/Options.html index dd96d84..9d17c83 100644 --- a/manual/html_node/Options.html +++ b/manual/html_node/Options.html @@ -33,11 +33,12 @@ Up: Top

4 Options

-

+

This section documents the command-line options to XBoard. You can set these options in two ways: by typing them on the shell command -line you use to start XBoard, or by setting them as X resources -(typically in your .Xresources file). Many of the options +line you use to start XBoard, or by editing the settings file +(usually ~/.xboardrc) to alter the value of the setting that was +saved there. Some of the options cannot be changed while XBoard is running; others set the initial state of items that can be changed with the Options menu. @@ -50,23 +51,15 @@ turn the option off (‘-xopt’) numbers as values, you can use the long or short option names interchangeably. -

Each option corresponds to an X resource with the same name, so -if you like, you can set options in your .Xresources file -or in a file named XBoard in your home directory. -For options that have two names, the longer one is the name of -the corresponding X resource; the short name is not recognized. -To turn a boolean option on or off as an -X resource, give its long name followed by the value -true or false (‘XBoard*longOptionName: true’). -