<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 1 Feb 2021 at 15:31, José Abílio Matos <<a href="mailto:jamatos@lyx.org">jamatos@lyx.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">



<div><p style="margin:0px">On Monday, February 1, 2021 2:42:43 AM WET Thibaut Cuvelier wrote:</p>
<p style="margin:0px">> More generally, what about the other patches? Are formatting changes</p>
<p style="margin:0px">> considered risky? What about Joel's suggestions?</p>
<br><p style="margin:0px">My issue is not about the formatting changes, I can live with them even if in some cases I think that it is a matter of taste.</p>
<p style="margin:0px">The example about documentation strings is striking, why do I need triple quotes if the documentation string will only span a single line?</p></div></blockquote><div><br></div><div>Because it's really preferred for Python: <a href="https://www.python.org/dev/peps/pep-0257/#what-is-a-docstring">https://www.python.org/dev/peps/pep-0257/#what-is-a-docstring</a></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>
<p style="margin:0px">My main doubt, that I still did not get any feedback, comes from the regular expression changes. Those are in no way formatting changes...</p>
<br><p style="margin:0px">And even if the current code is faulty, i.e. it works by accident, the proposed changes are wrong.</p></div></blockquote><div><br></div><div>There is no reason why ] should be escaped in a regex, as far as I know (and PyCharm doesn't know either). The change should not have any impact on the correctness of the code.  <br></div><div><br></div><div>I've just pushed the patches that were not objected to, plus the one for Java that was discussed at length here.<br></div></div></div>