【发布时间】:2015-01-23 05:19:01
【问题描述】:
我正在尝试在 Eclipse 中使用 PyDEV 控制台来演示一些 Python 代码。对于这个演示,我需要调整 PyDev 控制台窗口中使用的默认字体大小。
一些谷歌搜索导致我更改了“常规/外观/颜色和字体/调试/控制台字体”,但这没有用。我尝试更改颜色和字体设置中可以识别的所有候选字体,但它们都不会影响 PyDev 控制台窗口中的字体大小。
有什么办法可以做到吗?
这是在带有 Pydev 3.8 的 eclipse 4.3.2 (kepler) 中
【问题讨论】: