company-coq icon indicating copy to clipboard operation
company-coq copied to clipboard

Published 20 hours ago • verified publisher icon cpitclaudel

Input for company-coq-doc

Open MohsenLesani opened this issue 8 years ago • 1 comments

Hi, Is it possible to input the identifier you want to get the documentation for? Currently the identifier should be written at the cursor. Thanks.

MohsenLesani avatar Aug 23 '16 22:08 MohsenLesani

The same can be done for company-coq-jump-to-definition as well.

MohsenLesani avatar Aug 24 '16 05:08 MohsenLesani