我在Windows 10上运行Webstorm 11。我可以调整代码编辑器窗口的字体大小和颜色,但是无法改变菜单中的字体大小。我特别需要更改项目树视图中的字体大小。 您可以在此处查看字体大小的差异。我希望它们是一样的。