我在 Ubuntu 13.10 上使用 Kile 2.1.3。如何更改编辑器字体大小？
我转到“配置 Kile”>“字体和颜色”>“字体”>“大小”，并将其更改为 12。但这没有任何效果。我做错了什么？
注意：这个问题与 LaTeX 输出中的字体大小无关。它只与编辑器中显示的字体大小有关。
答案1
可能的解决方案：
更改设置后重新启动 Kile
使用Ctrl++放大字体（Ctrl+-减小编辑器字体大小）
答案2
对我来说，以下是有效的：
- 安装 Kate（文本编辑器）。
- Kate 中的 Chane 字体大小。
- 此后，Kile 将使用相同的字体大小。
请解释一下发生了什么。（我很感兴趣。）