ms-jpq
Don't autocomplete after some characters
Hi,
i'm really enjoying your plugin :) One question, is it possible to disable completion propositions after some characters typed? I want to use pre_select mode, but that results in suggesting something whenever I type { sign, even though no variables/function have that character in them. It's really hard to write an opening bracket and enter after that, which is a really common scenario.
Thank you in advance.
yea thats pretty simple to make, what should I call it tho, hummm.
coq_settings.completions.no_go_endings or something?
no_go_characters maybe? Unless you want it to be suffix-based, which would actually be pretty cool! Maybe some regex? :P Although in my opinion something as advanced as regex would only be reasonable to bother with if it was really simple to implement.
Regex doesn't really seem like it'd be useful for much, would just make it difficult to use if just a list of characters wasn't an option.
@mareksubocz PR https://github.com/ms-jpq/coq_nvim/pull/479 try to fix this usage in pre_select mode.
