[Bug-gnubg] board.xml - wood=paint

[Nardy Pillards]

Win32 builds:
Changing design does not take the [wood=] setting as it is in board.xml

That is:
If set to Wooden, it will remain Wooden, even if board.xml has wooden=paint
If it is set to Painted, it will remain Painted, even if board.xml has
wooden=(some wood out of the list)

Reproduce:
Run GNU Bg
Settings / Appearance - (tab) Border: choose 'Wooden'
click Apply
(tab) Designs: opt for Default
click Apply Design
click OK
(all OK so far)

Settings / Appearance - (tab) border: choose 'Painted'
click Apply
(tab) Designs: opt for Default
click Apply Design
click OK
The border keeps the Painted setting, not changing to Wooden

(and changing board.xml to read wood=paint, if Border is set to Wooden, it
will remain Wooden)

__________
Nardy