fix(web): copy terminal selection with Ctrl+Insert - #8541

Merged

shivamhwp merged 2 commits into

pingdotgg:mainfrom

iamshadmantaqi:fix/terminal-ctrl-insert-copy

Sep 8, 2026

Commits on Sep 8, 2026

test(web): cover Ctrl+Insert as a terminal copy shortcut

iamshadmantaqi
authored and
shivamhwp
committed
88080a7
fix(web): copy terminal selection with Ctrl+Insert

iamshadmantaqi
authored and
shivamhwp
committed
b0b9776