我了解如何增加编辑器选项卡中的字体大小,但我想增加主导航菜单的字体大小,最重要的是,选项卡标题。当我放大或缩小编辑器选项卡时,这些不会改变(在 OSX 上使用 Cmd + 鼠标滚轮)。我在首选项菜单中没有看到任何内容。
Settings/Preferences
Appearance & Behavior | Appearance
Use custom font
选项——它将允许更改用于 GUI 的字体并覆盖其大小。在之前的 IDE 版本(2018.2 及更早版本)中,该选项被命名为
Override default fonts by
:
P.S. 最新的 2023.1 版本现在可以一次缩放整个内容(编辑器和界面字体以及 GUI 元素):
View | Appearance | Zoom IDE
.
https://blog.jetbrains.com/idea/2023/03/intellij-idea-2023-1/#Userexperience
在 v2023.1 中,可以完全放大和缩小 IntelliJ IDEA,同时增加或减少所有 UI 元素的大小。
更新至2019.3版本
后藤
File | Settings | Appearance & Behavior | Appearance
启用使用自定义字体:
Tahoma
大小:12