开发者工具可以增加编辑器字体大小吗？

抱歉，目前还不行

编辑器部分之前设计的非常仓促，我们后续会继续做优化

同问，字体太小了，眼睛要瞎了