<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Feb 9, 2017 at 11:44 AM, Bert Freudenberg <span dir="ltr"><<a href="mailto:bert@freudenbergs.de" target="_blank">bert@freudenbergs.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><span class="gmail-"><div class="gmail_extra"><div class="gmail_quote">On Thu, Feb 9, 2017 at 8:16 PM, Eliot Miranda <span dir="ltr"><<a href="mailto:eliot.miranda@gmail.com" target="_blank">eliot.miranda@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">Tobias,<div><br></div><div>  ignore my email.  I'm reviewing your code.  But I will say that adding inst vars is making things more complicated too.  I added three methods to achieve what I wanted and you've added 8 and an inst var ;-)</div></div><div class="gmail_extra"><div><div class="gmail-m_-4581947028531159895h5"></div></div></div></blockquote></div><br></div></span><div class="gmail_extra">The problem with your indentation-based approach was that when just copying a whole method as HTML, it would insert a <pre> tag *after* the method pattern (because that was the first indented line). That's why Tobi added the TextDoit stuff, to specifically mark code ... It's still not ideal but we couldn't come up with a better way for unifying your blog-post-in-a-workspace with the regular just-copy-some-code. Ideas welcome :)</div></div></blockquote><div><br></div><div>OK, accepted, but if one is considering simply a text with indentation, say</div><div><br></div><div>This is a non-indented line.</div><div>    This is an indented line.</div><div>This is another unindented line.</div><div><br></div><div>We need to generate</div><div><br></div><div> This is a non-indented line.<br></div><div><pre>    This is an indented line.</div><div></pre></div><div>This is another unindented line.<br><br></div><div><br></div><div>Right?  Right now there is no way to achieve this.  Adding a <code></code> tag pair around the indented line is wrong.  Having to mark it as a doit is wrong.  But the only way to preserve the indentation is to use <pre>.  That's what my changes (save arguably adding the closing </pre> in the wrong place) achieved.  No need to mark things as dots.  One simply indents, and whitespace is preserved.  Simple.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><span class="gmail-HOEnZb"><font color="#888888"><div class="gmail_extra"><br></div><div class="gmail_extra">- Bert -</div></font></span></div>
<br><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div>
</div></div>