Merge pull request #2242 from zed-industries/mouse-event-handlers-yes

Fix surprising mouse propagation & avoid focusing tab while closing
2bca64f13bJulia committed on 3/3/2023, 8:29:50 PM· committed by GitHubparents218f2fdff2e6bc
2 files changedLine totals unavailable