[PD-dev] [ pure-data-Bugs-3279373 ] ctrl+shift+drag number box doesn't work