2017.05.09 （0.17.170900）版本的开发者工具 字体更小了？

本来就很小了，更新完更小了，不带这么玩的QAQ , 什么时候增加改变字体大小的功能啊啊啊啊啊啊啊，我搜了一下，这个问题去年就有人提了，到现在都还没改善？ 不要偷懒啊喂 ，赶紧改改啊喂