Thank you David. There is already an issue regarding this: v0.12.0 beta Ctrl-C doesn’t interrupt Alt-Enter code #767