Add known performance issue due to fixing #9

Calvin-L · Aug 26, 2023 · 146c5e1 · 146c5e1
1 parent 7ff2d05
commit 146c5e1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -34,3 +34,4 @@ shift+ctrl+k: kill coqtop
    re-loaded because it changed on disk
  - Sublime Text 2 is not supported (and never will be)
  - The current goal takes a long time to display when there are many goals, even if the current goal is very small
+ - The plugin listens to every text change on every buffer whether or not Coq is running.  The performance impact should be negligible.  See [Issue 9](https://github.com/Calvin-L/sublime-coq-plugin/issues/9) for a longer description.