<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>The display of the escaping backslash is certainly a bug... I
thought there already was a bug report. If not, would you file
one? ;-)<br>
</p>
<div class="moz-cite-prefix">On 25.01.2021 22:43, Alexandre Torres
Porres wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAEAsFmgScybZHB1RZK8gW2kXRi8mtBkv4tVB6Q0KDXdmfU=FKQ@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div dir="ltr">Em seg., 25 de jan. de 2021 às 17:47, Roman
Haefeli <<a href="mailto:reduzent@gmail.com"
moz-do-not-send="true">reduzent@gmail.com</a>> escreveu:<br>
</div>
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">
I think it got introduced in 0.51, btw.</blockquote>
<div><br>
</div>
<div>but the escape mechanism was always there, I can see it
in Pd Extended 0.42 that it escapes \$0, I guess it got
"fixed" and expanded to all cases recently. <br>
</div>
<div><br>
</div>
<div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">
> Is there a reason why symbol atoms add a backslash in
front of<br>
> spaces?<br>
</blockquote>
<div> </div>
</div>
<div>I see that it doesn't make much sense in a symbol box,
where everything is a symbol.</div>
<div><br>
</div>
<div>I once opened an issue because I was hoping I could type
an unescaped "$0-x" symbol inside a symbol box, so it could
come out as an expanded symbol. One could be able to
explicitly type the escape character if wanted. Anyway, just
bringing that also to the table.</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
<a class="moz-txt-link-abbreviated" href="mailto:Pd-list@lists.iem.at">Pd-list@lists.iem.at</a> mailing list
UNSUBSCRIBE and account-management -> <a class="moz-txt-link-freetext" href="https://lists.puredata.info/listinfo/pd-list">https://lists.puredata.info/listinfo/pd-list</a>
</pre>
</blockquote>
</body>
</html>