()
| 12250 | } |
| 12251 | |
| 12252 | function poll() { |
| 12253 | if (input.cm.state.focused) { |
| 12254 | input.pollSelection() |
| 12255 | input.polling.set(input.cm.options.pollInterval, poll) |
| 12256 | } |
| 12257 | } |
| 12258 | this.polling.set(this.cm.options.pollInterval, poll) |
| 12259 | } |
| 12260 |