Implement 'choice' engine->GUI command
[xboard.git] / gtk / .dirstamp