开发者工具的默认字号是否太大了? 目前的字号是16，行号是16. 一屏写不了多少代码，也感觉不够精致。
还有字体，能不能出一款微信小程序mono字体。
相关文档
- wx.miniapp.hasWechatInstall: 小程序/开发/平台能力/多端能力/API/多端框架新增API/判断微信是否有安装
- wx.miniapp.getPrivacySetting: 小程序/开发/平台能力/多端能力/API/多端框架新增API/查询是否已经同意隐私协议
- 二、开发者工具: 小程序/开发/平台能力/多端能力/操作指南/开发者工具多端应用模式/苹果登录服务
- wx.login mock: 小程序/开发/平台能力/多端能力/操作指南/开发者工具多端应用模式/wx.login mock
- 前置条件: 小程序/开发/平台能力/多端能力/操作指南/开发者工具多端应用模式/wx.login mock
可以自定义设置字号和字体，行间距
1、可以不用开发者工具编码，用vscode编码，开发者工具用于预览调试
2、右键命令面板里可以找到 缩小编辑器字体 的快捷键