RJ TextEd

Posted: **29 Sep 2024 16:15**

Is there any way to change the font size for the menus?

Posted: **01 Oct 2024 07:56**

Yes, it's here: Environment > Options... > Style and fonts > Menu font

Menu Fonts