5
Vote

Option to swap Ctrl+Enter and Enter in REPL windows

description

Allow the behavior of Ctrl+Enter vs Enter to be changed.

comments