Commit c54ae0c1 authored by Manu Beffara's avatar Manu Beffara
Browse files

Show line counts in the fold expression.

parent 394b8fc3
......@@ -248,9 +248,9 @@ function! CoqFoldText ()
let text = "---" . text
let level = level - 1
endwhile
return text
return printf("%s-- %s lines ", text, v:foldend - v:foldstart)
else
return "-- " . text . " "
return printf("-- %d lines: %s ", v:foldend - v:foldstart, text)
endif
endfunction
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment