Subject: mailing-list for TeXmacs Users
List archive
From : Miguel de Benito Delgado <address@hidden>- To: "address@hidden" <address@hidden>
- Subject: Re: [TeXmacs] change icon size (in toolbar)
- Date: Mon, 17 Feb 2014 09:19:58 +0100
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.
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!
-
- [TeXmacs] change icon size (in toolbar), paola.manzini, 02/15/2014
- Re: [TeXmacs] change icon size (in toolbar), Miguel de Benito Delgado, 02/16/2014
- Re: [TeXmacs] change icon size (in toolbar), Paola Manzini, 02/16/2014
- Re: [TeXmacs] change icon size (in toolbar), Miguel de Benito Delgado, 02/17/2014
- Re: [TeXmacs] change icon size (in toolbar), Miguel de Benito Delgado, 02/17/2014
- Re: [TeXmacs] change icon size (in toolbar), Miguel de Benito Delgado, 02/17/2014
- Re: [TeXmacs] change icon size (in toolbar), Paola Manzini, 02/17/2014
- Re: [TeXmacs] change icon size (in toolbar), Miguel de Benito Delgado, 02/17/2014
- Re: [TeXmacs] change icon size (in toolbar), Paola Manzini, 02/17/2014
- Re: [TeXmacs] change icon size (in toolbar), Paola Manzini, 02/18/2014
- Re: [TeXmacs] change icon size (in toolbar), Miguel de Benito Delgado, 02/18/2014
- Re: [TeXmacs] change icon size (in toolbar), Paola Manzini, 02/18/2014
- Re: [TeXmacs] change icon size (in toolbar), Miguel de Benito Delgado, 02/18/2014
- Re: [TeXmacs] change icon size (in toolbar), Miguel de Benito Delgado, 02/18/2014
- Re: [TeXmacs] change icon size (in toolbar), Paola Manzini, 02/17/2014
- Re: [TeXmacs] change icon size (in toolbar), Miguel de Benito Delgado, 02/17/2014
- Re: [TeXmacs] change icon size (in toolbar), Miguel de Benito Delgado, 02/17/2014
- Re: [TeXmacs] change icon size (in toolbar), Miguel de Benito Delgado, 02/17/2014
- Re: [TeXmacs] change icon size (in toolbar), Paola Manzini, 02/16/2014
- Re: [TeXmacs] change icon size (in toolbar), Miguel de Benito Delgado, 02/16/2014
Archive powered by MHonArc 2.6.19.