odd… when you hold Ctrl it would go grey, and then hitting enter (while it is grey) saves and goes back to terminal automatically. I could not reproduce your bug, sorry :(
