cpitclaudel/company-coq

"with" word withing comments spills into outline

vzaliva opened this issue · 0 comments

vzaliva commented

Example:

Lemma foo: nat -> nat. Admitted.
(** Something to do
with natural numbers *)
Lemma foo1: nat -> nat. Admitted.

Pressing C-c C-, will display the following outline:

Outline of [test.v]
      1:Lemma foo: nat -> nat. Admitted.
      3:with natural numbers *)
      4:Lemma foo1: nat -> nat. Admitted.