【发布时间】：2019-06-06 20:37:31
【问题描述】：
我知道可以在设置下更改控制台字体大小，但是，这非常繁琐。 Example
如何使用快捷方式更改控制台/终端字体大小？
【问题讨论】：
-
有一些专门的操作，您可以为其分配自定义快捷方式（请参阅stackoverflow.com/a/18031685/783119）.. 但它们似乎只影响编辑器字体。因此，对于控制台，它只能通过设置/首选项（直接或使用搜索功能之一：“帮助|查找操作...”或“到处搜索”）
-
@LazyOne 我知道......我在我的“问题”第一句话中确实表达了这一点。另外，反对票是怎么回事？