[Bug-gnubg] trouble setting crawford game in edit mode

[bob koca]

 I was playing a 3 point match with the score 2-1 in crawford game. I wanted to edit the position

to make the score 2-1 but to a 5 point match instead. I couldn't uncheck the box for it being the

Crawford game and got the message "Cannot set whether this is the Crawford game as none of the players

are 1 away from winning". I had to leave it checked and when I tried to play the game again (at 2 -1 to 5) no doubling was allowed.