()
| 194 | // Poll for input changes, using the normal rate of polling. This |
| 195 | // runs as long as the editor is focused. |
| 196 | slowPoll() { |
| 197 | if (this.pollingFast) return |
| 198 | this.polling.set(this.cm.options.pollInterval, () => { |
| 199 | this.poll() |
| 200 | if (this.cm.state.focused) this.slowPoll() |
| 201 | }) |
| 202 | } |
| 203 | |
| 204 | // When an event has just come in that is likely to add or change |
| 205 | // something in the input textarea, we poll faster, to ensure that |
no test coverage detected