Feature request: Ability to switch off autocomplete

[dtonhofer]

While autocomplete may help in writing prose or code in excessively verbose programming languages, it doesn't do much for MiniZinc which is very terse. People are not going to get tendinitis.

Moreover, autocomplete actually autocompletes inside properly recognized comment blocks (e.g. proposing "endif" if you type "at the end", which is not helpful.

As such, a feature to turn off autocomplete would be useful.

One could actually replace it with a checker that warns if a variable appears only once, indicating a typo.

P.S. I have noticed that I have started to reflexivly hit ESC to make autocomplete proposal go away before they even appear. LOL.