Merge pull request #1539 from zed-industries/double-click-titlebar-maximize

WIP: Double click titlebar to maximize
a2fbf686faJulia committed on 8/19/2022, 8:43:13 PM· committed by GitHubparents6e6744855be05b
1 file changedLine totals unavailable