On 10/20/05, <b class="gmail_sendername">Sune Foldager</b> <<a href="mailto:cryo@cyanite.org">cryo@cyanite.org</a>> wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
On 20/10/2005, at 21.30, Robert wrote:<br><br>> I was wondering this as well...as currently the  HTML option<br>> doesn't output things correctly.<br><br>Yes it does, in HTML whitespace is collapsed, which is how it's
<br>supposed to work. Use a <pre> block for pre-formated text like yours.</blockquote><div><br>Yes "I" know that. But why would I want to add the time to wrap it in a <pre> block when none of the other editors I have ever used has made me do that. Sure that works but I see it as a very unnecessary step. If it is going to replace the current way (now deprecated) which works the way you would expect it, then it should out just the way you expect it as well.
<br><br>Anyway I see later on in this thread the issue has been taken care of...<br><br></div><br></div>