mailing-list for TeXmacs Users

[Miguel de Benito Delgado <address@hidden>]

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!