Give WinBoard Game List its own font
authorH.G. Muller <h.g.muller@hccnet.nl>
Mon, 25 Jul 2011 19:58:58 +0000 (21:58 +0200)
committerH.G. Muller <h.g.muller@hccnet.nl>
Sat, 6 Aug 2011 16:40:51 +0000 (18:40 +0200)
commitbf07cc0c5232c7cd486fab118defa0815ff89183
tree26040c7dea304824ae64136234e5a17b79dd7883
parentbb9d038829e2c23d77a9a468ac6fdb0ca8fc65a9
Give WinBoard Game List its own font

The font fort he Game List used to be shared with the Engine Output and
Move History windows, but this made it impossible to use a figurine font
in the latter two (which displays piece symbols for capitals) without
messing up the Game List. An option -gameListFont has been added to specify
the font for the Game List(and save it in the settings file), while a
control for it is added in the fonts dialog.
args.h
common.h
winboard/defaults.h
winboard/resource.h
winboard/wgamelist.c
winboard/winboard.c
winboard/winboard.h
winboard/winboard.rc
winboard/woptions.c