Update texi file and remove duplicate control
authorH.G. Muller <h.g.muller@hccnet.nl>
Thu, 5 Jan 2012 17:41:13 +0000 (18:41 +0100)
committerH.G. Muller <h.g.muller@hccnet.nl>
Fri, 6 Jan 2012 15:01:21 +0000 (16:01 +0100)
commit03f3e0a23cfe79189ec3f677e7369315b72c5968
treebee50cd5ea882ec56f561f0597d804fa404d6cb7
parentbbd46041782bf402e07e793b0591a8db0500ebd5
Update texi file and remove duplicate control

Some missing option descriptions were added. The highlight-dragging
control was removed from the General Options dialog, as it did the same
as Show Target Squares. -highlightDragging wa changed to a volatile option
with default value true, making it effectively disappear as an XBoard
option. (In WinBoard it is still persistent.)
args.h
xboard.texi
xoptions.c