From 75535c19d11dd56165ba3d1af2d8b4412ee34812 Mon Sep 17 00:00:00 2001 From: Emil Lerch Date: Wed, 15 Oct 2025 16:51:40 -0700 Subject: [PATCH] add "/" shortcut to search --- static/index.html | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/static/index.html b/static/index.html index 7df00a1..c8f7adc 100644 --- a/static/index.html +++ b/static/index.html @@ -180,6 +180,13 @@ window.addEventListener('DOMContentLoaded', () => { document.getElementById('search').addEventListener('keypress', (e) => { if (e.key === 'Enter') search(); }); + + document.addEventListener('keydown', (e) => { + if (e.key === '/' && document.activeElement.id !== 'search') { + e.preventDefault(); + document.getElementById('search').focus(); + } + }); }); window.addEventListener('popstate', (e) => {