-
Notifications
You must be signed in to change notification settings - Fork 286
Completion: Remove pluggy racing and disable Rope by default #212
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
Conversation
gatesn
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
i think we should leave just the single completions hook, and users can enable one, the other, or both.
pyls/hookspecs.py
Outdated
|
|
||
| @hookspec | ||
| def pyls_completions(config, workspace, document, position): | ||
| def pyls_jedi_completions(config, workspace, document, position): |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Why have two plugin hooks? Why not just control which implementation runs using the configuration?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't think users should be able to use both completion plugins side by side since this will probably result in duplicated completion results and other weird behaviour, or am I missing something.
I can refactor it to only use on completion hook which runs either jedi or rope depending on the config. What do you think?
76a6db6 to
818a0a8
Compare
|
Apologies for the slow review here, I’m still on vacation until the 9th January. Hope you understand! |
No problem. Happy holidays! |
This allows the user to choose between Rope and Jedi for completions. It also remove the pluggy racing since Jedi's cache isn't thread safe. Closes palantir#189
818a0a8 to
f86c66e
Compare
|
@lgeiger do you mind if I take over this PR? |
Go ahead! |
This allows the user to choose between Rope and Jedi for completions.
It also remove the pluggy racing since Jedi's cache isn't thread safe.
Closes #189