mailing-list for TeXmacs Users

[Paola Manzini <address@hidden>]

Miguel, many thanks - and as I could not find any folder containing the icons I presume they must be hard coded when the program is compiled?
thanks for the tip on the fonts, though it is the icons that are really bothering me...
Best
paola

On 16/02/2014 18:47, Miguel de Benito Delgado wrote:

Hi,

  icon have a maximum size of 22x22 pixels. We don't have any which are bigger. You can change the size of the font, though, with a "hidden" configuration option. Add the following to your init-texmacs.scm file (where it is depends on your operating system, under linux and Mac it's ~/.TeXmacs/progs):

(set-preference "gui:mini-fontsize" "13")

Or change that 13 for any number you like.

Best,

--
Miguel de  Benito.

On Sat, Feb 15, 2014 at 4:31 PM, <address@hidden> wrote:
Hi all, I have just installed TeXmacs on my machine, which has a high
definition screen, and the icons are too small to view confortably. Short of
changing the screen resolution on my laptop, is there a way to modify the icon
sizes?
Thanks!

-