I would hit Ctrl+Enter, it would turn grey and then I didn't know how to back out back to the console to run the script.
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 :(
