mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

On Thu, Oct 08, 2020 at 09:57:37PM +0200, Frank wrote:
> I see that I can double DPI in View->High resolution screen settings
> (OS: Linux). I wonder whether we have finer controls. In my case, I
> want to set 1.5x, instead of 2x, which will be much better suited.

Not for the icons, because they are only available for a limited number of 
sizes.
At a certain point, I guess that we will switch to a version of Qt that
will support SVG, in which scaling will be easier.

Best wishes, --Joris