Reset fontIsSet when sizing causes change to default font
authorH.G.Muller <hgm@hgm-xboard.(none)>
Wed, 6 Apr 2016 12:08:49 +0000 (14:08 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Sun, 17 Apr 2016 08:24:58 +0000 (10:24 +0200)
commit88a788118a6c2a024d3a3dc42105ca0335f6812f
treed753c5948fa2d35ca289881ebd991bb16bc082c7
parentd000054f49fe0bbe459eb28b18b7bc46049b8120
Reset fontIsSet when sizing causes change to default font

The array fontIsSet now tracks whether the fonts in actual use are
from a (possibly size-adapted) default, or were specified by an option
(also through a fontIsValid entry in the fontsTable) or the Fonts dialog.
For changing a font on sizing a subroutine is now used.
dialogs.c
dialogs.h
gtk/xboard.c