editor.insertSpaceAfterComment setting

[muravjov]

Hi,

Please look at my PR, which introduces setting editor.insertSpaceAfterComment to make VScode to format line comments like

		//model.tokenizeIfCheap(startLineNumber);

instead of

		// model.tokenizeIfCheap(startLineNumber);

(no space just after //)

By default original behaviour is remained, with the space.

[msftclas]

All CLA requirements met.

[muravjov]

One more need about not inserting space: #9879 (comment)

[muravjov]

Finally I've been able to get through all checks.

[muravjov]

Hi @alexandrudima ,
any chance for taking up my PR?

[lbmaian]

Any possibility of getting this merged in? I've been resorting to local patching _createAddLineCommentsOperations to get rid of the space after the //, which of course results in an "unsupported" warning for VS Code.

[kirkouimet]

Let's merge this in!

[alexdima]

Thank you!