Android Studio Dolphin获得了一个新的logcat。它看起来很有前途,但我还没有找到任何方法可以改变新的logcat字体大小而不改变编辑器字体大小。在以前的Android Studio版本中,logcat遵循控制台风格,并且可以通过设置->编辑器->颜色方案->控制台字体来减小字体大小,但现在不行了。有没有办法改变新的logcat字体大小而不改变编辑器字体大小?