Thomas M Kehrenberg

Hm, no, that's not what I mean. I think I just don't want to set `noinsert` in `completeopt`. But it is hard coded here: https://github.com/ms-jpq/coq_nvim/blob/coq/coq/server/registrants/options.py#L65 EDIT: Basically, I have the...

As an investigation, I modified `coq/server/registrants/options.py` to remove `noinsert` from there, but it still doesn't work as expected. On the other hand, removing `noselect` had an effect, so I'm pretty...

By the way, stderr is also a bit hard to read: 

Thanks @BokilaLin , this worked great. The described problem happened for me with [telescope.nvim](https://github.com/nvim-telescope/telescope.nvim) after I added the [buffers](https://github.com/steelsojka/completion-buffers) completion source which I wanted to be available in all (file)...

Visual proof that it works:  And with the decorator commented out: 

Related to #1723 ?

I also noticed that on the *last jump*, the cursor moves one character to the left, right after the jump. This is of course not noticeable when the last jump...

This can be solved with [dataclass_transform](https://peps.python.org/pep-0681/). I can send a PR if desired.

I found this to work: ``` pyre --search-path $(python -c 'import site; print(site.getsitepackages()[0])') ``` This basically asks python where the installed packages are and tells it to pyre. My .pyre_configuration...

We could split the library into a part for numpy and a part for pandas. If nptyping is a full replacement for our numpy type stubs, then I would likely...