Use coordFont default pixel size for other fonts
authorH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 9 Sep 2014 17:57:52 +0000 (19:57 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 9 Sep 2014 17:57:52 +0000 (19:57 +0200)
commit24b15367908445cfb5c7bcce33587d2f666faf89
tree13c4d76025f49804a97180465e192237706c7865
parent4817621a565a11aeb400d80984754cbd30072758
Use coordFont default pixel size for other fonts

The message-font is way too large for the dialogs. A better solution
would be to redo the entire table of SIZE_DEFAULTS in xboard.h, as
this file is front-end-specific anyway.
gtk/xboard.c