Commit d52710c6 authored by Adam Matoušek's avatar Adam Matoušek Committed by Manu Beffara
Browse files

Do not match two dots as a sentence terminator.

Two dots are used e.g. in notation for lists.
parent 565e64f9
......@@ -113,7 +113,7 @@ endfunction
function! CoqNextPeriod (immediate)
let immediate = a:immediate
while v:true
let result = s:SearchForward('\.\_s\@=\|\([-+*{}]\)', immediate)
let result = s:SearchForward('\.\@<!\.\_s\@=\|\([-+*{}]\)', immediate)
if result ==# 2
" A potential bullet was found, check it.
if s:IsBeginningOfSentence(v:false)
......@@ -132,7 +132,7 @@ endfunction
function! CoqPreviousPeriod (immediate)
let immediate = a:immediate
while v:true
let result = s:SearchBackward('\.\_s\|\([-+*{}]\)', immediate)
let result = s:SearchBackward('\.\@<!\.\_s\|\([-+*{}]\)', immediate)
if result ==# 2
" A potential bullet was found, check it.
if s:IsBeginningOfSentence(v:false)
......
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