何か選択中の行の前の行を選択すると結果が表示されない - Githubissues

ryuta-ito / coqtop-vim

Interact with coqtop within Vim

0 stars 0 forks source link

何か選択中の行の前の行を選択すると結果が表示されない #5

Open ryuta-ito opened 5 years ago

ryuta-ito commented 5 years ago

本家のCoqideでも同じ挙動
coqtopの仕様っぽいか(やるとしたら、毎回全行reloadする必要がありそう)
- 行を遡るときにだけ制限してやれば別に問題ないのでやったほうがいい