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
