()
| 1033 | }); |
| 1034 | } |
| 1035 | function fastPoll() { |
| 1036 | var missed = false; |
| 1037 | pollingFast = true; |
| 1038 | function p() { |
| 1039 | startOperation(); |
| 1040 | var changed = readInput(); |
| 1041 | if (!changed && !missed) {missed = true; poll.set(60, p);} |
| 1042 | else {pollingFast = false; slowPoll();} |
| 1043 | endOperation(); |
| 1044 | } |
| 1045 | poll.set(20, p); |
| 1046 | } |
| 1047 | |
| 1048 | // Previnput is a hack to work with IME. If we reset the textarea |
| 1049 | // on every change, that breaks IME. So we look for changes |
no outgoing calls
no test coverage detected