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.
@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.
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.
4271 should be ready to merge into main. It needs someone with write access to review.
Last updated: Jul 06 2025 at 12:14 UTC