mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

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.