Skip to content

fix(web): bypass xterm for global terminal shortcuts - #1580

Merged
juliusmarminge merged 13 commits into
pingdotgg:mainfrom
AriajSarkar:fix/terminal-toggle
Apr 17, 2026
Merged

fix(web): bypass xterm for global terminal shortcuts#1580
juliusmarminge merged 13 commits into
pingdotgg:mainfrom
AriajSarkar:fix/terminal-toggle

Commits

Commits on Mar 25, 2026

Commits on Mar 30, 2026

Commits on Mar 31, 2026

Commits on Apr 1, 2026

Commits on Apr 2, 2026

Commits on Apr 17, 2026