[PD-dev] [ pure-data-Bugs-2013659 ] Arrow keys change the modified status of patches