-
Notifications
You must be signed in to change notification settings - Fork 28
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Completion becomes slower over time #252
Comments
Simpler way to see the "leak" is just
|
I did some research, and now I think that the problem is in combination of facts:
So faces lists of candidates in caches becomes very huge over time. Some examples of 3 and 4: first and second All of the above is right for both emacs 26.3 and 27.2 But in 27.2 results of concatenation don't share faces lists and (more important) Disclaimer: I didn't dig into the C sources of |
Issue #188 may be related |
On emacs 27.2 this issue is not reproduced |
How to reproduce
Use proof-general with company-coq for a long time. Wait a few seconds for auto-completion of any tactic or command. And this delay becomes bigger over time.
Then restart coq, disable company-coq and enable it again, open new empty test.v file and type "Def". Wait quite a few seconds.
Then edit company--begin-new function from comapany.el to print candidates in
*Messages*
:Full function code here
Then type "Defini" again and get (my emacs stuck here for a long time) something like this (I added some newlines):
It seems there are too many
default
andcompany-tooltip
here.Versions
The text was updated successfully, but these errors were encountered: