I described the problem here in my last post. I understand that it is an old issue but is there any way to make menu fonts in xboard like in others applications installed in the system(f.e. in Gnome)?
this is Debian wheezy 32 bit Gnome 3 with gnome-shell, xboard 4.6.2-1