<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Noel wrote:</div><div><blockquote type="cite">Try this:<br><br>(display "\r\n")<br></blockquote></div><div><br class="webkit-block-placeholder"></div><div>So on Windows, (printf "~n") and (printf "\r\n") aren't equivalent? The documentation seems to suggest this:</div><div><br></div><div><font class="Apple-style-span" face="Monaco"> -- SNIP --</font></div><div><font class="Apple-style-span" face="Monaco"><br class="webkit-block-placeholder"></font></div><div><font class="Apple-style-span" face="Monaco"> - ~n or ~% prints a newline</font></div><div><font class="Apple-style-span" face="Monaco"><br class="webkit-block-placeholder"></font></div><div><font class="Apple-style-span" face="Monaco"> -- SNIP --</font></div><div><br class="webkit-block-placeholder"></div><div>A newline isn't necessarily a complete line break. However, this seems counter-intuitive to me: why have ~n at all? The documentation for ~w below reads:</div><div><br class="webkit-block-placeholder"></div><div> -- SNIP --</div><div><br class="webkit-block-placeholder"></div><div> <font class="Apple-style-span" face="Monaco">- ~w, where w is a whitespace character, skips characters in format-string </font></div><div><font class="Apple-style-span" face="Monaco"> until a non-whitespace character is encountered or until a second end-of-line </font></div><div><font class="Apple-style-span" face="Monaco"> is encountered (whichever happens first). An end-of-line is either #\return, </font></div><div><font class="Apple-style-span" face="Monaco"> #\newline, or #\return followed immediately by #\newline (on all platforms).</font></div><div><font class="Apple-style-span" face="Monaco"><br class="webkit-block-placeholder"></font></div><div><font class="Apple-style-span" face="Monaco"> -- SNIP --</font></div><div><br class="webkit-block-placeholder"></div><div>which implies that ~w is platform aware. Is there call for a platform specific line break escape here?</div><div><br class="webkit-block-placeholder"></div><div>-- Dave</div><div><br></div></body></html>