<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>This was fixed in pd-l2ork a while ago. Perhaps porting the patch
may not be a bad idea?</p>
<p>Best,</p>
<p>Ico<br>
</p>
<br>
<div class="moz-cite-prefix">On 3/12/2018 6:09 PM, Alexandre Torres
Porres wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAEAsFmgco=e5QLojD6WHidd5m5286gYz9TFZgz3+WD_mP-3BBQ@mail.gmail.com">
<div dir="ltr">Hi, "#" characters become "$" when trying to put
them into GUI labels, is there a good reason for it? Or should
we just treat it as a bug and fix it?
<div><br>
</div>
<div>cheers</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<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>
<br>
</body>
</html>