()
| 555 | } |
| 556 | |
| 557 | function goToNextHistoryIndex() { |
| 558 | // Ignore this entry for further searches and continue to the next |
| 559 | // history entry. |
| 560 | alreadyMatched.add(repl.history[historyIndex]); |
| 561 | historyIndex += dir === 'r' ? 1 : -1; |
| 562 | cursor = -1; |
| 563 | } |
| 564 | |
| 565 | function search() { |
| 566 | // Just print an empty line in case the user removed the search parameter. |