Merge pull request #1663 from zed-industries/terminal-bugs

A few small bug fixes
500ff131dbMikayla Maki committed on 9/28/2022, 12:18:21 AM· committed by GitHubparents75594fc1905ba5
2 files changedLine totals unavailable