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)
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.


No differences found