Merge pull request #1409 from zed-industries/middle-mouse-close-tabs

Allow closing tabs with the middle mouse button
888405a4b2Julia committed on 7/25/2022, 9:05:00 PM· committed by GitHubparentsd9de02636d789f
1 file changedLine totals unavailable