First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] the font used in menus


Chronological Thread 
  • From: Henri Lesourd <address@hidden>
  • To: address@hidden
  • Subject: Re: [TeXmacs] the font used in menus
  • Date: Mon, 31 Mar 2008 11:50:51 +0200
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

Archive powered by MHonArc 2.6.19.

Top of page