Question about the Monaco text editor, apologies if this is somewhat off-topic, please remove my post if so.
But last year when this was added, I noted here on the forums, and possibly by raising an issue separately, that pressing Ctrl-Enter used to close the editor box, whereas in Monaco it would so something different, I don't recall what - something like insert a new line.
Has this been resolved? Sorry for the vague hand-wavy post, but I just don't have access to my home server this minute and wanted to write this here in case I forgot to mention it.
