# Set up page

General settings, appearance settings, shortcut key settings, editor settings, proxy settings, security settings, and extended settings.Menu bar, or use the shortcut keyctrl (?) +,opens the settings page.

# General settings

Used to set personalization requirements for languages, workspace paths, and developer tools

# Exterior settings

Support configuring developer tool appearance and theme and block configuration

• Theme: Dark Colors, Light Colors
• Typeface
• Font size
• Leading

# Shortcut key settings

You can view and modify the current developer binding shortcut keys

# Edit the settings

• Automatically save files when you modify them
• All files are automatically saved at compile time
• Automatic compilation when file is saved Weixin Mini Program
• Automatic folding
• Replace Tab with a space.
• Code thumbnail
• Always open files on new tab pages
• Git ignores Windows-style carriage returns when comparing file contents
• Tab size
• More editor settings: WeChat The editor of the developer tools is vscode-based, and you can open the personalization settings for vscode through this portal

If you select "Always open files in new tab," the file is always opened in a new tab when the editor directory tree clicks on the file, rather than in a temporary tab.

# Agent Settings

You can configure not to use a proxy, use a system proxy, or use a custom proxy.

# Security settings

Can turn on and off the CLI / HTTP invocation feature

# Expand the settings

You can view, turn on, and turn off some of the expanded features of the developer tools