Return at end of closed comment

[Flamenco]

If pressing at the end of a single line comment, a colon is inserted on the next line even though the comment has been closed.

This works well when manual starting the comment and pressing return, but not when placing the caret at the end of the comment

To Reproduce: Type a line, press c, then press return to start a new line of xquery.

[joewiz]

Confirmed. But change the test to the following:

1. Open new query window
2. Type cmd-shift-c to create a new comment block, e.g. (::). The cursor will land at the end of this line with the comment.
3. Press return. Result:

xquery version "3.1";

(::)
 : 

Notice the undesired colon on the new line.