Skip to content
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

Leave company-backends for the user to setup #384

Merged
merged 1 commit into from Mar 27, 2021
Merged

Leave company-backends for the user to setup #384

merged 1 commit into from Mar 27, 2021

Conversation

alanpearce
Copy link
Contributor

Loading tide.el has the side-effect of adding the completion backend to company-backends with no configuration option. The user may however not wish to use company-tide, or not have it as the first backend.

Other company packages do not mangle company-backends, instead documenting the code to add their backend, to allow the user to add the backends in their preferred order (examples: 1, 2, 3). I therefore propose this change to follow this convention.

@josteink
Copy link
Collaborator

josteink commented Jul 4, 2020

This will be a breaking change/upgrade for most tide-users, which (for me personally) makes it a no-go.

While I can't speak for the other contributors, but if you could come up with some suggestions for how we can eliminate this causing breaking changes, that would definitely increase the chance of this getting merged.

@ananthakumaran
Copy link
Owner

company-mode/company-mode#923 (comment) from this comment, it seems like updating company-backends from third party package is not the correct approach. But unfortunately, as @josteink pointed out, this code has been there from the beginning and going to break nearly all the existing users' setup which I prefer not to do. We can't merge this PR unless we come up with a solution that doesn't break the existing setup.

Copy link
Collaborator

@josteink josteink left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks good to me. What do you think, @ananthakumaran ?

@ananthakumaran
Copy link
Owner

ananthakumaran commented Mar 27, 2021 via email

@josteink josteink merged commit ad6fa78 into ananthakumaran:master Mar 27, 2021
@josteink
Copy link
Collaborator

Merged!

@alanpearce alanpearce deleted the leave-company-backends-for-user-setup branch March 27, 2021 21:09
@alanpearce
Copy link
Contributor Author

Thanks for re-reviewing and merging so quickly! Sorry I didn't get around to addressing your feedback for... a while.

@josteink
Copy link
Collaborator

Np. A patch is a patch, and GitHub makes sure we can pick it up anytime, even 9 months later 😀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants