docs: document code.editor.auto_save setting#344

hongyi-chen merged 2 commits into

mainwarpdotdev/docs:mainfrom

oz/docs-code-editor-auto-savewarpdotdev/docs:oz/docs-code-editor-auto-saveCopy head branch name to clipboard