cpitclaudel/company-coq

Loading company-coq prevents PG context menu to appear

erikmd opened this issue · 2 comments

erikmd commented

[Follow-up of ProofGeneral/PG#158 (comment)]

Using current PG master and company-coq from MELPA, a right-click on a Coq phrase doesn't make the standard PG context menu to appear (for the expected feature, see attached screenshot below).

@cpitclaudel do you think it is easy to investigate this?

screenshot_pg_context_menu

cpitclaudel commented

I think it's likely not easy to fix. The problem is that overlays have priority over text properties, and I want bullets to be clickable, so I have to turn off the click support in PG overlays...

erikmd commented

OK I see. Thanks for your comment.
(I don't know if it'd be better to close this issue as wontfix, or add a help wanted label, or just keep it as is :)
Erik