()
| 439 | } |
| 440 | |
| 441 | function handleSearch() { |
| 442 | // Delay expensive processing so a flurry of key strokes is handled once. |
| 443 | if (searchAlarm != null) { |
| 444 | clearTimeout(searchAlarm); |
| 445 | } |
| 446 | searchAlarm = setTimeout(selectMatching, 300); |
| 447 | |
| 448 | regexpActive = true; |
| 449 | updateButtons(); |
| 450 | } |
| 451 | |
| 452 | function selectMatching() { |
| 453 | searchAlarm = null; |
nothing calls this directly
no test coverage detected
searching dependent graphs…