Keybinding May 2026

private normalizeEvent(e: KeyboardEvent): string const parts = []; if (e.ctrlKey) parts.push("ctrl"); if (e.shiftKey) parts.push("shift"); if (e.altKey) parts.push("alt"); if (e.metaKey) parts.push("meta"); parts.push(e.key.toLowerCase()); return parts.join("+");

private normalizeKeyString(keys: string): string return keys.toLowerCase().replace(/\s/g, ""); keybinding

setContext(context: string) this.activeContext = context; if (e.ctrlKey) parts.push("ctrl")

private trigger(id: string) const callbacks = this.listeners.get(id); callbacks?.forEach(cb => cb()); if (e.shiftKey) parts.push("shift")