correctly apply some check boxes from the option menu
[xboard.git] / pixmaps / all37.xpm
2009-05-02 H.G. Mullerchanges from H.G. Muller; version 4.3.14 v4.3.14