Changing root fonts size in Xed text editor?

[handy]

Thanks for your concern @Kresimir .
I’ve been using Linux as my main OS since 2005, so I’m not one of your new users…