[PD-dev] [ pure-data-Bugs-3025232 ] widget doesn't handle dollarsign variables