It seems to me that when you are editing, you need to be able to see the effects that your editing is having on the original, otherwise you are going to get all kinds of different strange fonts and formatting mixed in and not realize it. If you try editing it with a different font you may then complain that it's not accepting the font you're trying to use when you have it set to use your default font. I believe there is a reason why it works in user mode and non-user mode the way it does.Jeff wrote:However, it makes sense to me that editable modules will display in the way they were formatted to begin with, and will display the fonts they are being edited with, so you can see the effects of your editing.
If you want the font changed universally in the entire document, then that's what you'll have to do. If you don't want to do that, then switch to user mode when you want to edit, and switch back when you want to read if the other font drives you crazy. It also keeps me from accidently typing in a user module that I didn't mean to change if I get mixed up on which window is active or something.
Things aren't always as easy as it may seem, and there are generally reasons for things the way they are. But hey, if you go to your public library and look for a book, you'll most likely be stuck with whatever font it has without any way to change it, so I still think the software has its advantages.
(I'll use my standard disclaimer: I'm not a programmer, and don't speak for Costas or Jon, or any one else smarter than I am, so I could be wrong. )