Luke Boswell (Oct 09 2022 at 05:20): Luke Boswell (Oct 09 2022 at 05:20):I've added a feature to roc docs generated HTML so you can focus the search box using ⌘F, CTRL F, or F3 PR #4267 should be good for someone to review. I'm not sure if this is an anti-pattern capturing user input like this?? but I've found it very helpful navigating big Doc files.
Luke Boswell (Oct 09 2022 at 07:05):@Richard Feldman I updated the roc docs searchPR #4267 with functionality for / and also added ESC to de-select search box. Functionality is inspired by Github's search box. I tried to add a small svg slash and right align it on top of the search text but I couldn't figure out how to make css work so just left it as is for now. That is black magic stuff to me. I hope the GPG signing is alright, I haven't used that before.
Luke Boswell (Oct 09 2022 at 07:07):I debated over if re-pressing / should clear the input box or leave it as it, after testing it for a bit I decided it was easier to clear the box.
Luke Boswell (Oct 11 2022 at 07:08):4271 should be ready to merge into main. It needs someone with write access to review.
Last updated: Jul 26 2025 at 12:14 UTC