An update of idea came early this morning. Without thinking too much, I went to the official website and downloaded the 2017.1 version of idea and installed it on my computer. However, I found that I encountered a very embarrassing problem:
Before update
Updated
Thinking about it carefully, it should not be a system problem, because everyone is using the same font, so I went to find the font setting file of idea and searched for it but couldn't find a good answer.
So I looked for it myself, and finally I found that I could search for a folder by directly searching for fonts in the idea folder. Compare:
old version
new version
This is where the problem lies. It is obvious that the fonts of the new version are much smaller than the fonts of the old version. (Actually, I find this interface quite interesting, because it means that the idea does not directly reference the system fonts, but copies the font directory and then calls the font. I don’t know the specific implementation process of the idea. But I think this is probably how it works)
It’s easy to do now, just copy all the old fonts files to the new fonts files, restart the idea, and the long-lost Ubuntu fonts will be back!
The above is the detailed content of Solutions to font changes after updating IDEA under Ubuntu Linux. For more information, please follow other related articles on the PHP Chinese website!