Merge pull request #2265 from zed-industries/fix-menu-bar-greying-out

Fix too-agressive menu bar greying
87ac409e51Mikayla Maki committed on 3/11/2023, 12:05:07 AM· committed by GitHubparentsbadfe70adf94a1
7 files changedLine totals unavailable