On Wed, Apr 17, 2019 at 1:36 AM Jean-Christophe Sekinger <jc.sekinger at free.fr> wrote: > > Hello > Is it possible now to change the shortcuts ? Yes. There's a file called pd_shortcuts.js with JSON in it. You should be able to change shortcuts there. -Jonathan