setting the line below solves the problem
option add *Dialog.msg.font {Helvetica 10} userDefault
BUT
I had previously set
option add *font -adobe-helvetica-b*-r*-*--14-*-75-75-*-*-iso8859-1
to change all the texts for the GUI.
Even if I set
option add *Dialog.msg.font {Helvetica 10} userDefault
just after the one above it is not taken into account.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.