<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>
<blockquote type="cite">It seems we need to force add "\" like
symbol boxes do in these cases </blockquote>
This would also be possible. Probably better than silently bashing
to individual symbols.<br>
<blockquote type="cite">(but not on adding a space, cause we
usually want spaces in the list box). <br>
</blockquote>
</p>
<p>We can't really automatically escape them anyway because the
unescaped and escaped white space have different meanings.</p>
<div class="moz-cite-prefix">On 23.11.2021 21:36, Alexandre Torres
Porres wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAEAsFmi_Sk+v4Lpnb93YeKChuFsauNzL-jARyZucjns3Qccm-Q@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div dir="ltr">Em ter., 23 de nov. de 2021 às 14:59, Christof
Ressi <<a href="mailto:info@christofressi.com"
moz-do-not-send="true" class="moz-txt-link-freetext">info@christofressi.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">
<div>
<blockquote type="cite">
<div dir="ltr">
<div>- if I type "hi, there" in a list box I get an
unescaped (and seemingly ilegal) "," symbol.</div>
</div>
</blockquote>
<p>Generally, list atoms contain FUDI strings and colons,
semicolons and dollars have special meanings. You have
to escape them explicitly if you want them to part of a
symbol.</p>
<p>"foo,bar" -> 3 atoms</p>
<p>"foo\,bar" -> 1 symbol atom</p>
<p>However, you're right that the list atom forgets to
bash those special to symbols, so you end up with
A_SEMI, A_COMMA, A_DOLLAR and A_DOLLSYM atoms on the
patch level - which is bad!</p>
</div>
</blockquote>
<div>It seems we need to force add "\" like symbol boxes do in
these cases (but not on adding a space, cause we usually
want spaces in the list box). </div>
<div><br>
</div>
<div>In parallel, there's the idea to hide this force adding
"\" visually on the boxes, but this can be taken care
further in both cases of list/symbol boxes. </div>
</div>
</div>
</blockquote>
</body>
</html>