![在 kile 中更改编辑器字体大小](https://linux22.com/image/278094/%E5%9C%A8%20kile%20%E4%B8%AD%E6%9B%B4%E6%94%B9%E7%BC%96%E8%BE%91%E5%99%A8%E5%AD%97%E4%BD%93%E5%A4%A7%E5%B0%8F.png)
我在 Ubuntu 13.10 上使用 Kile 2.1.3。如何更改编辑器字体大小?
我转到“配置 Kile”>“字体和颜色”>“字体”>“大小”,并将其更改为 12。但这没有任何效果。我做错了什么?
注意:这个问题与 LaTeX 输出中的字体大小无关。它只与编辑器中显示的字体大小有关。
答案1
可能的解决方案:
更改设置后重新启动 Kile
使用Ctrl++放大字体(Ctrl+-减小编辑器字体大小)
答案2
对我来说,以下是有效的:
- 安装 Kate(文本编辑器)。
- Kate 中的 Chane 字体大小。
- 此后,Kile 将使用相同的字体大小。
请解释一下发生了什么。(我很感兴趣。)