我理解如何在编辑器选项卡中增加字体大小,但我想增加主导航菜单的字体大小,最重要的是,增加标签标题.当我放大或缩小编辑器选项卡(在OSX上使用Cmd +鼠标滚轮)时,这些不会改变.我在首选项菜单中看不到任何内容.
jetbrains-ide intellij-idea pycharm phpstorm
intellij-idea ×1
jetbrains-ide ×1
phpstorm ×1
pycharm ×1