昨天下载了微信团队更新的小程序编辑工具，虽然新增了好多功能，但是一时间有点难适应，同时感觉也有一定的bug存在，昨天就遇到到了，格式化代码的功能用不了，在编辑那一栏明明有这个选项的，就是用不了，是我的打开方式有问题吗，求大神解答