Stream: contributing

Topic: roc docs search


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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 06 2025 at 12:14 UTC