Just had a quick play around and I can't for the life of me figure out a way to do it through the GUI. I swear previous versions of RISC OS allowed this, although I've just booted up 4.02 and I still can't find a way to change the system font size. !MiscSetup by the late Paul Vigay should do the tr...