fix(web): use the configured panel shortcut on the PR page - #11292

Merged

maria-rcks merged 3 commits into

pingdotgg:mainfrom

Bil0000:t3code/global-right-panel-keybinding

Sep 11, 2026

Commits on Sep 11, 2026

fix(web): honor the right panel shortcut on the PR page
Bil0000
committed
fa58fd3
fix(web): ignore held PR panel toggle shortcuts
Bil0000
committed
b1bb899
chore: merge main to include the upstream CI fix
Bil0000
committed
706d940