Qiancheng Fu

Now that you mention it, it might be caused by edits made by the "find replace" for search and replacing string. I also sometimes revert the file to a previous...

I retract my previous statement. Vscoq definitely does encounter inconsistent state error when just editing/replaying proofs normally, without me even touching git or find replace. These errors happened to me...

I think I've found the source of why this is happening to me. I'm a user of the Vim extension for vscode. Yanking and pasting code using the vim extension...

I'm using the lastest version of doom emacs. I have upgraded the ocamlformat package to the lastest version, but this issues still persists. I will try again with a vanilla...

After a recent update to doom emacs, this is no longer an issue.

> What is the value of `company-minimum-prefix-length`? You can use `SPC h v company-minimum-prefix-length RET` to check it. If it is zero try setting it to a non-zero value. The...

> > The variable `company-minimum-prefix-length` is set to 2. > > Sorry can't help you too much as I don't use a latex lsp but does the popup go away...

After some digging around, it seems to be the new yas-snippets integration is interferring with the latex completion and not texlab itself. This issue does not seem to exist for...

One method worked for me was to switch the lsp integration from lsp-mode to eglot.

> > One method worked for me was to switch the lsp integration from lsp-mode to eglot. > > Do you have working configuration for `texlab` + `eglot`? I have...