search

JuliaComputing / JuliaHub-Feedback

Public repo for filing JuliaHub issues
6 stars 1 forks source link

keyboard shortcut for search #152

Closed Roger-luo closed 1 year ago

Roger-luo commented 1 year ago

It's quite common for websites supporting some basic keyboard shortcut, e.g https://docusaurus.io/

image

It'd be nice if JuliaHub has this too

pfitzseb commented 1 year ago

s and / no focus the global search bar.