Allow switching off match mode through menu
authorH.G. Muller <h.g.muller@hccnet.nl>
Wed, 4 May 2011 11:36:27 +0000 (13:36 +0200)
committerH.G. Muller <h.g.muller@hccnet.nl>
Wed, 4 May 2011 18:43:00 +0000 (20:43 +0200)
commit7454f494554a3406c6a382d6feba2f9040eb3121
treefbab2eee2e1c6c263fe4f222af8510ddda7c1d66
parentecd851c92b21c55ac41a91870deabeff6409fb96
Allow switching off match mode through menu

The Machine Match menu item is now checkmarked, and no longer grayed
during a match, and clicking it while a match is running will terminate
the match after the current game. To not be left with hanging
checkmarks, the checkmark is already removed duringthe last match game
(which is logically equivalent to ordinary Two Machines mode anyway).
backend.c
winboard/winboard.c
xboard.c