Automatically add /// markdown prefix on next line

[fbricon]

Fixes #3801

[mickaelistria]

Isn't the java/languageConfiguration.json file used for such cases? Having it in this file could allow to spread value wider as the file can be reused in other IDEs/editors (while the extension.ts cannot)

[rgrunber]

Apparently prior to this change, the language server's textDocument/onTypeFormatting would cause this :

Screencast.from.2024-10-07.12-58-59.mp4

No longer happen with this change, but no idea why it would try to do that in the first place.

[fbricon]

Apparently prior to this change, the language server's textDocument/onTypeFormatting would cause this :
No longer happen with this change, but no idea why it would try to do that in the first place.

I'm not seeing this without my change. It just deletes white spaces before the ///

[rgrunber]

It only occurs when there's no content immediately above/below (only newlines), and typing /// followed by enter. It doesn't happen in lightweight mode which also confirmed it's the standard server.

Update: Ok weird, just tried a fresh VS Code with vscode-java pre-release and it doesn't occur.

Update 2: @fbricon I think it's the setting, "editor.formatOnType": true .