mailing-list for TeXmacs Users

[Miguel de Benito Delgado <address@hidden>]

Ok, I did check. Changing the icons won't help. Sizes for each toolbar are computed from some specific icons, in particular tm_new.png is used to compute the size of the main icon bar. But changing that icon to something bigger seems not to change the vertical size beyond some point, even though the new icon is used.

Strange...

--
Miguel de  Benito.

On Mon, Feb 17, 2014 at 9:19 AM, Miguel de Benito Delgado <address@hidden> wrote:

Hi Paola,

  the icons are not embedded into the executable. You can find them in $TEXMACS_PATH/misc. There are a couple of places in the code where sizes might be hardcoded, but I can't check right now. You may want to replace the icons for any of your choice and see what happens ;) Please do report back if you get a nicer (and free) icon set working!

Best,

--
Miguel de  Benito.

On Sun, Feb 16, 2014 at 8:00 PM, Paola Manzini <address@hidden> wrote:

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!

-