Just searched bugzilla, found bug #991, also #321. Related but different. I was trying to edit some preamble text today, and thought it would be a whole lot nicer if the text edit box was set to use a monospaced font, given that people will mostly be putting in latex commands. This is probably an easier interim fix rather than invoking an external editor as in #991.
Thanks for the great program, Regards, Robert
(Not subscribed to list, please CC replies)
