xboard uses the old Xaw widget set, which can only use the original kind of X font, not the newer kind that Gnome, etc. use. So your choices are limited. The fonts you like are probably all the newer kind.
There was a project to convert xboard from Xaw to GTK, but it seems to have stalled. On Sat, Jun 30, 2012 at 5:30 AM, rulet <[email protected]> wrote: > I described the problem > here<http://www.open-aurec.com/wbforum/viewtopic.php?f=2&t=49476&p=198258#p198258>in > my last post. I understand that it is an old issue but is there any way > to make menu fonts in xboard <http://dl.dropbox.com/u/21108895/43.png>like in > others applications installed > in the system <http://dl.dropbox.com/u/21108895/44.png>(f.e. in Gnome)? > this is Debian wheezy 32 bit Gnome 3 with gnome-shell, xboard 4.6.2-1 > >
