Merge pull request #2172 from zed-industries/window-title-shenanigans

Window title shenanigans
df1775326cJulia committed on 2/15/2023, 9:03:30 PM· committed by GitHubparentsafb375fdf0715e
2 files changedLine totals unavailable