微信小程序工具设置页,对小程序编辑器、代理和通知的配置
设置页提供对编辑器（外观和代码编辑）、代理和通知的配置。
入口
菜单栏上点击设置可以打开设置页。设置页侧边栏分别是编辑器、代理和通知的配置。
编辑器配置
编辑器支持配置外观和代码编辑器习惯和风格。
编辑器外观配置
- 主题：白色、深色、黑色
- 字体
- 字号
- 行距
编辑配置支持
- 修改文件时自动保存
- 编译时自动保存所有文件
- 文件保存时自动编译小程序
- 自动折行
- 用空格代替 Tab
- Tab 大小
代理配置
可以配置不使用代理，或使用系统代理，或使用自定义代理。
通知配置
可以配置系统消息和开发者社区消息通知。
