13 Mar
2018
13 Mar
'18
12:03 a.m.
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