Stefan Wils

Seems to be related to a new feature in VSCode: colorized brackets. Made a pull request that I think solves the issue.

I'm only learning Coq, so not an expert, but I'm not convinced that this needs something on the side of the language server. In my personal experience, VSCoq already folds...

No @Arkhist you're right. Improving the TextMate file does not improve the folding. Too bad...

Actually, you can use complex HTML templates in displayText. You just need to set the highlighter option to the identity function. (E.g. "displayText: myFancyFormatterFunc, highlighter: Object") You can also use...

@coclav @shooftie here's a (slightly edited) example from working production code. I think you still need to add an `afterSelect`: var template = _.template('${id}: ${name}'); $input.typeahead({ minLength: 2, source: function(value,...