[PD-dev] [ pure-data-Bugs-3127372 ] symbol-box, number-box: cannot type 'backspace'