mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

On Sat, Sep 25, 2021 at 09:08:43PM +0000, Giovanni Piredda wrote:
> http://forum.texmacs.cn/t/how-enlarge-fonts-of-menu/604
> 
> Does anyone know?

From within a scheme session, you may try

    (set-retina-preference "retina-scale" "2")

This used to be in the high resolution preferences widget,
but someone told me that this caused some problems (I don't
remember what kind of problems) under Linux.

Maybe you can try and let me know if this solves the issue for you.
If so, then I will put it back in the interface.

Best wishes, --Joris