/* See hotkey.js for handlers that are more app-wide. */ export const vim_left = "h"; export const vim_down = "j"; export const vim_up = "k"; export const vim_right = "l"; export function handle(opts: { $elem: JQuery; handlers: { [handler: string]: (() => boolean) | undefined; }; }): void { opts.$elem.on("keydown", (e) => { if (e.altKey || e.ctrlKey || e.shiftKey) { return; } const {key} = e; const handler = opts.handlers[key]; if (!handler) { return; } const handled = handler(); if (handled) { e.preventDefault(); e.stopPropagation(); } }); } export function is_enter_event(event: JQuery.KeyDownEvent): boolean { return event.key === "Enter"; }