Commit 10ee9a51 authored by Adam Matoušek's avatar Adam Matoušek
Browse files

Make :CoqToCursor work when on a full stop.

parent 1ff3c89b
......@@ -1595,6 +1595,7 @@ function s:coq.to_cursor ()
call self.infos.clear()
call self.clear_zones('CoqError')
let pos = getpos('.')[1:2]
let pos[1] = pos[1] + 1
if s:pos_lt(self.states[self.focus].range[1], pos)
" The current position is after the focus, add sentences.
" Fake a return code from call_add to initialise the loop.
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