Reset fontIsSet when sizing causes change to default font
[xboard.git] / winboard / internationalize
2009-09-30 H.G. MullerPrepared a system to internationalize the WinBoard...