Port zsh terminal fixes: zsh pitfalls with shell options and steering text (#316359)
* Port workbench zsh terminal fixups * fix err * rename * zsh fixups only for session terminals
A
Anthony Kim committed
ebb5d8fc44cedc7cc0599b7450265d456f67248f
Parent: a6e058c
Committed by GitHub <noreply@github.com>
on 5/14/2026, 7:56:03 AM