La maggior parte dei miei altri editor consente a Ctrl Shift Z di essere ripristinato.Quando eseguo Ctrl+Shift+Z in JMP, mi viene qualcosa di strano

Sicuramente non è l'ideale in quanto spazza via il mio stack di ripristino.
Non riesco a modificarlo tramite le personalizzazioni della barra degli strumenti utilizzando la modifica incorporata: redo, ma ho una soluzione alternativa con JSL
mainmenu("edit:redo");
https://community.jmp.com/t5/Discussions/Possible-to-add-undo-redo-shortcut-buttons-to-toolbar/mp/532608#M75551 mi ha ricordato questo.