Op 3/31/2016 om 6:38 PM schreef Joshua Pettus:
I take it you use XBoard in English :)
Indeed I do. I guess the Xaw build did translate all this.
That sounds good to me! Btw I did find this refrence if you need it
for the various keywords to control fonts. There arn’t a lot and
many of them such as stretch styles probably aren’t needed
http://www.pygtk.org/pygtk2reference/class-pangofontdescription.html
Well, I don't use all that stuff, just
pango_font_description_from_string, to which the XBoard font arguments
are fed (possibly after expanding %d in them dependent on square size).
I pushed a patch with a tentative Font dialog now, to hgm.nubati. Clock
and coord font don't seem to work properly yet; the coord font might not
work at all (also not from command line) since Cairo. Clocks adapt on
New Game (but this spoils the window sizing). The others adapt
instantly. I did not manage to set the font in 1-line text entries yet,
so the font dialog itself does not show samples of what you selected.
