Re: [XBoard-devel] Board sizing

[H.G. Muller]

More progress:

I now also adapt clock and message font on sizing the board window.
Downside is that this would lose you any font change you made at the
current board size, if you had not already saved settings. This because
each (windowFont,boardSize) combination has an entry in a table, with
a 'valid' flag which keeps track of whether it was set during parsing of
command-line options (incl. settings files). When the settings are saved,
only the entry for the boardSize at that time is updated to the font
actually in use, (and marked valid), after which all valid fonts are saved
in the settings file.

I guess we could copy a font to the table for the current size whenever
the user changed it through the Fonts dialog. Then it would be
remembered even if you changed the window before saving.

Another problem is how to treat all other fonts. The are stored
separately for each size in the settings file. But currently I don't
adapt them to the new board-window size. This means they would
'leak' to another size when you save settings after sizing. One way to
prevent it would be to adapt the other fonts also on sizing.
Or not copy the other fonts back to the font table at all before saving
the latter with the settings. But I guess if the user did not change the
font for the other windows, he must have been happy with it.
Unless of course the other windows were closed.

I guess a user would only want the fonts in other windows to change
when he buys a new monitor, or otherwise changes screen resolution.
In normal day-to-day sizing he would probably want it to stay fixed.
That means that making it leak to other board sizes is actually an
advantage, because he only has to set them one time for the board
size he happens to use first. And then he will always keep those
fonts, no matter how he sizes the board, and each next time the
board will open as he closed it, same size and same font. The last-
chosen font will always follow him until he changes it again.