mailing-list for TeXmacs Users

[Henri Lesourd <address@hidden>]

address@hidden wrote:

> 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?
>
>  
What about:
texmacs -font ecrm11@500

? In the example above, "500" stands for the size.

It also seems that TeXmacs is only able to use MetaFont
fonts for its menus, for if you try "Times@500", for
example, it triggers MetaFont, but it ends with an
error from it.


> ps: also the icons in the toolbars are too small for me
>
>  
There's no solution for the icons, those are pure
bitmaps, currently.

This being said, if you really need bigger icons, it
would not be hard to write a script which resizes them.

(The TeXmacs icons are xpm files, and they are all
located in share/TeXmacs/misc/pixmaps).


Best, Henri