0
votes
1answer
417 views

How to change font of code in PyCharm?

PyCharm Community Edition 3.1.3 on Ubuntu Gnome 14.04. Can't find where to change the font of code in PyCharm. File > Settings > Editor > Colors & Fonts > Font > Editor Font is ...
1
vote
2answers
141 views

How can I keep two different font sizes on two different documents?

I am using Xubuntu and I need to keep document A with font size 8 and B with with font size 12. If I save A with font size 8, this switches the font size to 8 for all the other documents, including B. ...
2
votes
1answer
1k views

How can I use bitmap fonts in gvim?

When doing actual work, I can't stand the scalable monospaced fonts that are available to me with the default install. How can I make gVim use the good old 6x13 x11 font?