mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] change icons size


Chronological Thread 
  • From: Paola Manzini <address@hidden>
  • To: address@hidden
  • Subject: Re: [TeXmacs] change icons size
  • Date: Mon, 03 Mar 2014 09:45:41 +0000

Hi Guys,

thanks for this update, and apologies for not replying earlier - I did have a go at the suggestions, but they seem not to work in my case (in the sense that in Miguel's installer, which I tried last night, the icons look slightly larger than before, but they are still to small on my screen). Sorry I did not try before, I had not realised Miguel had put the whole installer there for me/us!

Thank you all for the effort, for non-techies like me it is so very important.
Best
paola


On 03/03/2014 06:35, Joris van der Hoeven wrote:
Hi,

OK, I did not understand from the discussion that you already got that far.
If Qt can use SVG images for the icons, then that would be the easiest
solution.
It would be nice to have a user preference for the zoom factor applied to
all GUI elements, that is, menu text and the icons. You seem to say that
this is easy to implement now. Can you do it? Please post to texmacs-dev
for technical follow-up discussions.

Best wishes, --Joris


On Mon, Mar 03, 2014 at 06:47:46AM +0100, Miguel de Benito Delgado wrote:
Hi,

On Sun, Mar 2, 2014 at 7:05 PM, Joris van der Hoeven
<address@hidden>wrote:

- In the file qt_tm_widget.cpp, the icon sizes are set explicitly
(search setIconSize).

As I already explained in recent emails with Paola, icon sizes are read
from three default icons. Changing these icons results in TeXmacs using the
new sizes. The focus bar was being handled differently (see the code for
"mini actions") but I already committed changes in order to fix this. So,
basically, all that needs to be done is resizing all svg icons to the
desired size, as I already suggested. I even prepared a windows test
version with the icons (not resized form SVG) Paola prepared which was,
sadly, ignored.

Also, remember that Qt supports SVG graphics, making the manual resizing of
icons superfluos if we decide to use this feature.


If you have time, then you may play around a bit with the icons and
the source code, and see if you can get something to work at least for you.

There is no need to modify the code any more.

Hopefully, a clean solution with a user preference will be integrated
sometime soon.

This is almost trivial and only needs agreeing on what method is preferred:
global user preference "bigger UI size", separate user preferences for icon
sizes, fonts, etc? (notice that I already implemented a preference to
change "mini" font sizes).

This would be very easy to implement after we agree on what is best, in
order not to waste efforts.

Best,
--
Miguel de Benito.

--
------------------------------

Prof. Paola Manzini
School of Economics and Finance
University of St. Andrews
Castlecliffe, The Scores
St. Andrews KY16 9AL
Scotland, U.K.

tel: +44 (0)1334 462436
fax: +44 (0)1334 462444
http://www.st-andrews.ac.uk/~pm210/
Skype: paolamanzini

The University of St Andrews is a charity registered in Scotland : No SC013532




Archive powered by MHonArc 2.6.19.

Top of page