今天升级了25.1版本idea，打开所有图标和导航栏都变得很大，但是editor字体大小正常。如下： 
 [image] 
之前版本是这样的: 
[image] 
有佬知道咋回事吗？怎么调小，看着好难受。