mailing-list for TeXmacs Users

[Paola Manzini <address@hidden>]

perfect - will report back on how it worked for me!

best,
paola

On 17/02/2014 10:28, Miguel de Benito Delgado wrote:

No, resizing is no copyright violation. I just assumed you'd want to use other icons. As a matter of fact many (most?) of the icons are available as SVG, so rescaling should work just fine.

Glad to help,

--
Miguel de  Benito.

On Mon, Feb 17, 2014 at 10:48 AM, Paola Manzini <address@hidden> wrote:

Many many thanks Miguel, I will certainly try! Just to be sure, is the implication that resizing current icon files would infringe copyright? Because an automatic resizing is a very simple operation, that perhaps I could at least try first to check how things work.

thanks again,
Paola

On 17/02/2014 09:12, Miguel de Benito Delgado wrote:

Let me correct that: if you change the icons for bigger ones and are *not* running MacOS, then you will see bigger icons. Under MacOS, our use of the standard toolbar with metallic look (the so called "unified toolbar") fixes the maximum vertical size to the OS default. However, this won't apply for other icons or other operating systems. Let me explain:

* There are 3 sizes for icons in TeXmacs: 16x16, 20x20, and 24x24, used respectively for focus, mode and main icons.

* The 24x24 icons in the main toolbar (open, file, new, etc.) can't be made bigger under MacOS without recompiling. All others yes.

* All icons may be changed, under any operating system. Again: only the sizes of the main icons (24x24) won't change under MacOS.

* The sizes for each of the three toolbars are read at runtime from the icons pixmaps/modern/16x16/tm_add.png, pixmaps/modern/20x20/tm_section.png and pixmaps/modern/24x24/tm_new.png. You need to change at least these three to see any changes.

Here is a website with standard icons in 32x32 size: http://tango.freedesktop.org/ If you find the courage and time to rename the ones we need from that or any other icon set and then place them in the proper folder structure please share! The folder names "16x16", "20x20" and "24x24" have to be kept even though they wouldn't be true any more (but I could change that in the code).

Best,

--
Miguel de  Benito.

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

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!

-