Not so far. But before I'd re-write everything, I would at least COPY it all, to be able to paste it wherever.

But check out that little SETTINGs wheel. There may be a setting for FONT size. I'm almost sure of it, GOOD LUCK.