diff options
author | Florrie <towerofnix@gmail.com> | 2018-09-13 21:52:47 -0300 |
---|---|---|
committer | Florrie <towerofnix@gmail.com> | 2018-09-13 21:53:22 -0300 |
commit | 06c9ab090b6307b21226e6d8e7b34fc69380594b (patch) | |
tree | a34a2b198d9c5c99b5ad71c653eaf25fdaa7b7d7 /crawlers.js | |
parent | 7000c1109f66b7591e6056a82f270f57bf8ae6b5 (diff) |
Show preview of "Jump to" result
Also let the user cancel (esc) the "jump to" to restore the selected index to wherever it was before. A neat thing you can do with this: Your cursor will automatically move to whatever the matched result of your query is while typing. If nothing is found, your cursor will stay where it was the last time it found something: so, if you press enter to confirm, AFTER you've queried something but WHILE your query doesn't currently mathc anything, it'll keep the cursor at whatever was most recently matched. So basically, Ctrl-F'ing "excir" will match "Excursions", since "exc" will have matched it already.
Diffstat (limited to 'crawlers.js')
0 files changed, 0 insertions, 0 deletions