editor的大小怎么设置都不起作用？

未复现，请提供能复现问题的简单代码片段（https://developers.weixin.qq.com/miniprogram/dev/devtools/minicode.html）。

这个版本，现在只能在手机上测试。

编辑器是这样的，没有输入内容的地方

哪个版本的开发者工具