Make some non-standard commands engine-defined options
authorH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 4 Mar 2014 15:25:34 +0000 (16:25 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 4 Mar 2014 15:25:34 +0000 (16:25 +0100)
commita0c1400035104ea33d6eda049dbdb5fe2150de9a
treebd2f3b24c8267ba4409b639976da2cfe24c34bff
parentfefe18367278ba47e0c4af1ac91f1f0d0c98870a
Make some non-standard commands engine-defined options

The commands 'tsume', 'contempt' and 'hashdepth' are made into XBoard
engine-defined options (the latter into two), so they can be set
interactively through the Engine Settings dialog of the GUI.
gnushogi/commondsp.c