Merge pull request #1584 from zed-industries/restore-modal-terminal

restore modal terminal
fa78b597f4Mikayla Maki committed on 8/31/2022, 8:09:03 PM· committed by GitHubparents6d7ce5d5a0f106
4 files changedLine totals unavailable