I don't see any way to do that using the preferences. Of course, you can always change it in the source and recompile. Or file an enhancement request.
Richard Wojciech Michalik wrote:
I want to make font in ERT box to be smaller. Any clues how ??
-- Richard G Heck Jr [EMAIL PROTECTED] http://bobjweil.com/heck/
