[gforth] Setting for text size for the terminal emulator in Android gforth?

[Joel Rees]

I'm getting extremely easy-to-read characters in th terminal emulation
since an update last week or the week before. Characters about twice
to three times the normal. Would be great on a smaller smartphone, but
on the 10 inch tablet, I'd rather have the long lines.

Is there a setting somewhere for it?

-- 
Joel Rees

Be careful when you look at conspiracy.
Arm yourself with knowledge of yourself, as well:
http://reiisi.blogspot.jp/2011/10/conspiracy-theories.html