Yes. The hotkeys defined here will work fine in v12, but not in v13. They need to be split up and @keydown removed.
@keydown