<div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">what's a "numeric character"?<span></span><br><span></span></blockquote><div><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><br><font face="arial, helvetica, sans-serif"> </font></div><div><font face="arial, helvetica, sans-serif">I guess [0123456789.e] ?</font><font face="arial, helvetica, sans-serif"><br></font></div><div dir="ltr"><font face="arial, helvetica, sans-serif"><br></font></div></div></div></div></div></div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Le ven. 19 nov. 2021 à 11:51, IOhannes m zmoelnig <<a href="mailto:zmoelnig@iem.at" target="_blank">zmoelnig@iem.at</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
On 11/19/21 10:02, Antoine Rousseau wrote:<br>
> - in a float atom, no space at all is allowed... (BTW wouldn't it be a nice<br>
> addition to filter the keyboard input to only numeric characters in the<br>
> "number" context?...)<br>
<br>
what's a "numeric character"?<br>
<br>
 > - in a list atom, space is the delimiter, so if you want an actual<br>
 > space it has to be escaped;<br>
<br>
i'm not really sure about this to be honest.<br>
i agree that there should be a visual distinction between the atom <br>
delimiter and the sapce (within a symbol).<br>
<br>
intuitively i would prefer something less ugly than '\ ', e.g. "␣".<br>
but what if the user actually wants the character "␣"?<br>
<br>
probably the best would be to have delimiters a display property of the <br>
list-box, rather than of the text itself.<br>
as in the attached mockup.<br>
<br>
dmgfsr<br>
IOhannes<br>
_______________________________________________<br>
<a href="mailto:Pd-list@lists.iem.at" target="_blank">Pd-list@lists.iem.at</a> mailing list<br>
UNSUBSCRIBE and account-management -> <a href="https://lists.puredata.info/listinfo/pd-list" rel="noreferrer" target="_blank">https://lists.puredata.info/listinfo/pd-list</a><br>
</blockquote></div>