I am using Kile 2.1.3 on Ubuntu 13.10. How can I change the editor font size?
I went to "Configure Kile" > "Fonts & Colors" > "Font" > "Size" and changed it to 12. But that did not have any effect. What am I doing wrong?
NB: This question is not about font sizes in the LaTeX output. It's just about the font size displayed in the editor.