fix #9 - Githubissues

ryuta-ito / coqtop-vim

Interact with coqtop within Vim

0 stars 0 forks source link

fix #9 #10

Closed ryuta-ito closed 5 years ago

ryuta-ito commented 5 years ago

現在行で編集可能にした
- ハイライトは控えめに変更
ひとまず同一行の場合にclear -> evalするようにした
- 実行速度にストレスを感じるようであればbacktrace -> evalに修正が必要