()
| 129 | } |
| 130 | |
| 131 | restoreSelection() { |
| 132 | if (!this.initialRange) { |
| 133 | return; |
| 134 | } |
| 135 | const range = this.initialRange; |
| 136 | const selection = getSelection(); |
| 137 | selection.removeAllRanges(); |
| 138 | selection.addRange(range); |
| 139 | } |
| 140 | |
| 141 | findInPlace(query, options) { |
| 142 | // If requested, restore the scroll position (so that failed searches leave the scroll position |