search

whonore / Coqtail

Interactive Coq Proofs in Vim
MIT License
274 stars 34 forks source link

Various improvements #260

Closed tomtomjhj closed 2 years ago

whonore commented 2 years ago

Thanks, these all look good, except I'm not sure about removing redraw. On Vim 8.2, without redraw there is a noticeable delay between when sentences are sent to be executed and when they are highlighted with CoqtailSent. NeoVim seems to redraw much more eagerly and doesn't have this delay.

Compare (Vim 8.2, NeoVim 0.6.1, both with 'lazyredraw' set):

Vim with redraw asciicast

Vim without redraw asciicast

NeoVim with redraw asciicast

NeoVim without redraw asciicast

So maybe we should only skip calling redraw in NeoVim, or see if there's some way of making Vim update more frequently. Disabling lazyredraw doesn't seem to make much difference.

Related: #221

tomtomjhj commented 2 years ago

Hmm, interesting. It seems that Vim doesn't redraw the text updates on auxiliary panels without redraw either. Anyway, I've added back redraw for Vim as suggested.