I am using the pce based editor and teh font size adjust with the screen. On my macbook the font is tiny, i have to connect an external monitor to get a reasonable font size.
I noticed the thread about font size and editing the config file (Defaults) but no value change i make does a difference – as if the defaults aren’t read from there.