docs: document editor file explorer shortcut and settings menu#5859
Closed
mintlify[bot] wants to merge 2 commits into
Closed
docs: document editor file explorer shortcut and settings menu#5859mintlify[bot] wants to merge 2 commits into
mintlify[bot] wants to merge 2 commits into
![mintlify[bot]](https://avatars.githubusercontent.com/in/222410?v=4&size=32){kind=avatar}