mailing-list for TeXmacs Users

[address@hidden]

the font used in menus is too small for the combination of my eyes 
(presbyopia) and a 111 [1] dpi monitor...

i have looked at the docs and, to a lesser extent, to the .scm sources, 
without findining the way to increase the size of the font used in menus

is it possible to increase the size of the font used in menus? if it is, how?

thank you in advance, ciao
                                                                         gb

ps: also the icons in the toolbars are too small for me

Footnotes:

[1] xdpyinfo | grep -i resolution
    resolution:    111x111 dots per inch