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

company turn on eldoc-box anyway #16

Closed
ShuguangSun opened this issue Jun 10, 2019 · 2 comments · Fixed by #17
Closed

company turn on eldoc-box anyway #16

ShuguangSun opened this issue Jun 10, 2019 · 2 comments · Fixed by #17

Comments

@ShuguangSun
Copy link

If I don't turn on eldoc-box-hover-mode or turn off mannally, the company will turn on eldoc-box-hover-mode again anyway, unless the eldoc-box is not loaded.

I think it is due to the patch:
5dbd370

@ShuguangSun
Copy link
Author

It might need a variable to stay the status of eldoc-box-hover-mode prior to the calling of company.

@casouri
Copy link
Owner

casouri commented Jun 10, 2019

Oops. Let me merge the patch in #15 and this should be fixed.

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 a pull request may close this issue.

2 participants