In case it's simple enough, would it be possible to have a keyboard shortcut in the HelpDesk to go to the search bar, on any help page?
(Btw, I can't even reach the search bar by repeatedly pressing Tab on Chrome at least.) Thanks! Laurent -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
