mailing-list for TeXmacs Users

[Paola Manzini <address@hidden>]

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