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

83b865fec7Shadman Taqi committed on 9/8/2026, 9:48:54 AM· committed by GitHubparentd6dbe8d
2 files changedLine totals unavailable