-
Notifications
You must be signed in to change notification settings - Fork 13
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
Lenses support #12
Comments
I use quick-peek in company-coq to display info in the style that you call lenses, so I'm all for supporting your use case too :) IOW, I'd prefer patches over a fork. |
I might be missing something but there is no reference to quick-peek in https://github.com/cpitclaudel/company-coq ? |
That's because the code from quick-peek was originally extracted from company-coq, and I haven't done the refactoring to make company-coq use the separately packaged version yet. |
Ok, just one more question - as far as I can see |
Maybe I'm misunderstanding what you mean by lenses? :) |
I believe that the following changes are needed (unless I am missing something).
|
Can you show a screenshot? Normally the spacer should be very thin on graphic displays; maybe there's a bug? |
OK, I'm sold :) Do you want to prepare a pach? We could have a dynamic variable for this. |
There are a few more things that I have to do before that, then I will provide a patch. Also, I have to figure out whether I have to support multiple |
I am working on
lsp-mode
and I want to use the library for displaying lenses (https://camo.githubusercontent.com/348d682e4a4cc1f84e8571a9488c2087ae754c88/68747470733a2f2f692e696d6775722e636f6d2f437846506f50472e706e67) this would require changes toquick-peek
to support that option(e. g. removing the spacers). Are you fine with that approach or you would prefer to fork it?The text was updated successfully, but these errors were encountered: