improvement comment line feature

[raztd]

This is more a request, than a issue. Right now when I select a line and pres Ctrl + / it will comment a line like this: this is a comment => (*this is a comment*) I would like to have a space between * and the words: this is a comment => (* this is a comment *)

[hackwaly]

The behavior of comment line command is controlled by VS Code. see: https://code.visualstudio.com/docs/extensionAPI/vscode-api#CommentRule

Change blockComment to ["(* ", " *)"] could add spaces inside (**), but it makes press Ctrl + / to uncomment line or block with (*comment has no spaces around*) broken.

So we should request VS Code to support this. And not even comment line, comment block also looks better with spaces.