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,
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,
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,
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...
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,
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,
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!
-
|