Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
In PTK terminal, would be nice if shift-enter and control-enter acted like alt-enter #9587
In the notebook, shift-enter, control-enter, and alt-enter all evaluate the current cell (and then do different things).
With 5.0-beta with the new prompt toolkit stuff in the terminal, alt-enter evaluates the current cell, but shift-enter and control-enter act like regular enter, i.e., they insert a new blank indented line. This is annoying if my fingers reach for the wrong one, because then I have to backspace out the indentation etc. (Also I was misremembering how the notebook worked, and was trying control-enter first, and got frustrated.)
I'm told that in some terminals Alt-Enter is not detected either, and you have to do Esc, Enter (i.e. press and release escape, then press and release enter). I don't think there's much we can do about any of this, because it depends on the terminal emulator, but I'm happy to be proved wrong.