search

Calvin-L / sublime-coq-plugin

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

Use is_applicable method of TextChangeListener #8

Closed lephe closed 1 year ago

lephe commented 1 year ago

While browsing the doc I noticed that TextChangeListener now supports is_applicable. This should help a bit with performance since previously any change in any buffer would cause the Coq plugin to wake up. As far as I can tell adding the method should be backwards compatible because on older versions it's simply not going to be called?

Calvin-L commented 1 year ago

Nice!

No word on when that feature got added. It's possible I just missed it in the docs the first time around.