search

Calvin-L / sublime-coq-plugin

Syntax highlighting and Coq interactivity for Sublime Text 3
MIT License
6 stars 4 forks source link

Avoid undo interfering with high water mark #7

Closed lephe closed 1 year ago

lephe commented 1 year ago

Fixes #6.