This was fixed in pd-l2ork a while ago. Perhaps porting the patch may
not be a bad idea?
Best,
Ico
On 3/12/2018 6:09 PM, Alexandre Torres Porres wrote:
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?
cheers
_______________________________________________
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management ->
https://lists.puredata.info/listinfo/pd-list
_______________________________________________
Pd-list@lists.iem.at mailing list
UNSUBSCRIBE and account-management ->
https://lists.puredata.info/listinfo/pd-list
