MIL set acceptSuggestionOnEnter off in vsocde

Stream: new members

[Shanghe Chen]

Hi! Is there any reason that MIL set "editor.acceptSuggestionOnEnter" to the value "off" in .vscode/settings.json#L26? It seems making vscode failed complete suggestions with enter. And I cannot complete suggestions with other keys hence I turn it back on. But I don't know if it's some reason for this setting default to off in the repo

[Julian Berman]

c.f. / feel free to voice your opinion in https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/propose.20removing.20module.20docstring.20code.20suggestion/near/439229009