编辑器拓展

开发者工具支持启用外部的编辑器扩展，开发者可以根据自己的需要增强编辑体验 比如

• 主题插件配置。

开发者可以使用插件配置想要的主题，如图 IDE 使用了开源的 Material Theme

• Prettier 代码格式化插件