mailing-list for TeXmacs Users

[Miguel de Benito Delgado <address@hidden>]

Hello again Paola (and Eli in CC),

  I'm afraid don't see a workaround to the problem with the focus icons (the smallest ones!). I had to add a couple of lines in the code to actually get the right size in that toolbar, so for the time being you can either compile TeXmacs with a small patch I can post here if anybody wants it, compile TeXmacs after I find a cleaner solution and commit it to the repository or try this version I just compiled, which includes your icons. I tested it under Windows7 64bit, I hope it works for you too.

This should incidentally help a few other users who also had trouble with the small icons.

  If I may, I'd recommed you don't rescale the png icons but instead render the vector graphics ones (.svg) to the desired size, in order to get better quality. Apparently one can use inkscape for this. If you ever do that please share so I can include them in this unofficial "release".

As to the matter of more permanent solutions, there has been some talk in the bug tracker about these issues, but it's not been decided what to do yet. Some time, perhaps.

Best,

--
Miguel de  Benito.

On Tue, Feb 18, 2014 at 5:13 PM, Miguel de Benito Delgado <address@hidden> wrote:

Hi,

I can't check on a windows machine right now, so this is a shot in the dark: TeXmacs caches most of the stuff it reads, so you might have to clean this cache. I don't know where it's stored in Windows, it should be in the equivalent of your home directory, where your my-init-texmacs.scm is saved. There you have a folder "system/cache". Delete the whole "cache" folder and start TeXmacs. Maybe that solves the issue (but it'd surprise me).

In any case, if I replace my pixmaps folder with yours, most icons are bigger. Not all of them though: strangely the focus icons are still small. I'll have to see what happens there.

I'm running the latest version from the sources SVN repository. What version do you have? (This shouldn't actually matter much, but one never knows)

Best,

--
Miguel de  Benito.

On Tue, Feb 18, 2014 at 1:58 PM, Paola Manzini <address@hidden> wrote:

hi Miguel,

sure  - I am on Windows 8.1 Pro 64 bits (it may be that the 64 bits are also an issue - sometimes I can't even close TeXmacs), and here is a dropbox link to the modified icons

https://www.dropbox.com/sh/hxdc6u3mktg3071/eiC7NWWHA1

(I only scaled png images)
Thanks,
paola

On 18/02/2014 12:49, Miguel de Benito Delgado wrote:

Hi Paola,

  which operating system and TeXmacs version are you using? And can you send me (a link to a zipped version of) the complete new pixmaps folder you are using?

Best,

--
Miguel de  Benito.

On Tue, Feb 18, 2014 at 11:28 AM, Paola Manzini <address@hidden> wrote:

Hi MIguel,
resizing everything seems to produce no effects at all :-( Maybe it is me, and I will try again, but I thought I'd update you all on this.
Best wishes
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!

-