Hi, developers!<div><br></div><div>A quick thanks to whomever fixed Ctrl-J (paragraph auto-wrap) to properly recognize end-of-comment markers so that tapping Ctrl-J doesn't include the function following the docs in the wrapping process. This is a subtle but very notable improvement over the older behaviour (which required that i first manually insert a newline before the end-of-comment, tap Ctrl-J, then manually remove the newline)!</div>
<div><br></div><div>:)<br clear="all"><br>-- <br>----- stephan beal<br><a href="http://wanderinghorse.net/home/stephan/">http://wanderinghorse.net/home/stephan/</a><br>
</div>