VSCode Disable autocompletion on certain inputs

Stream: lean4

[Jakob von Raumer]

Is there a way to disable autocompletion for certain keywords? So far it's made me laugh every time it happened, but whenever I'm typing do, it gets completed to don't, which is not good for a lean user who wants to do. :sweat_smile: