Merge pull request #1074 from zed-industries/misc-menu-items

Add a few more important menu items
35ada0d3a0Max Brunsfeld committed on 5/27/2022, 8:27:03 PM· committed by GitHubparents4a5317b1c932ae
4 files changedLine totals unavailable