Only adjust fonts that are actually changed
[xboard.git] / gtk / .dirstamp