Is it intentional that newlines cause line breaks in the Info tab rendering?

Yes, it is: NetLogo explicitly turns on the HARDWRAPS option in PegDown,
the library it uses to convert from Markdown to HTML. (That’s a decision
that predates the open source era. Maybe it’s been that way ever since
NetLogo started supporting Markdown.)

[appealing plain text *and* appealing rendered text] is lost when eols in
the plain text cause line breaks in the rendered text

I think this is arguable. I very much prefer NetLogo’s current line
breaking behavior. And NetLogo is not alone in working like this.

In any case, changing the current behavior would cause problems for
backward compatibility: I wouldn’t be surprised if many users relied on it.

There is actually a bit of ambiguity in the NetLogo docs:
https://ccl.northwestern.edu/netlogo/docs/infotab.html#paragraphs

I agree. But I’m not sure what would be the best way to fix it. Any
suggestions?
​


--
Nicolas

On Mon, Apr 25, 2016 at 6:48 PM, Alan Isaac <[email protected]> wrote:

> Is it intentional that newlines cause line breaks in the Info tab
> rendering?  Classic Markdown was designed to allow appealing plain text
> *and* appealing rendered text, and this is lost when eols in the plain text
> cause line breaks in the rendered text.  In classic Markdown, one added two
> spaces at the end of a line to force a `br` element in the HTML output.
> There is actually a bit of ambiguity in the NetLogo docs:
>
> https://ccl.northwestern.edu/netlogo/docs/infotab.html#paragraphs
>
> --
> You received this message because you are subscribed to the Google Groups
> "netlogo-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"netlogo-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to