Immediately execute command on ctrl+enter (#56)
The rationale is:
- Just pressing enter is useful, it gives the user the possibility of editing the command before executing
- Ctrl+Enter is a pattern found in other places, e.g. here on GitLab to submit comments, email apps/webapps to send an email, so on...
- Yet another preference is avoided
Edited by Andre Miranda