Update to 2017.1 changed the fonts (nav bar)
Updating to 2017.1 - while keeping the settings from 2016.3 - changed the fonts
- in t̶h̶e̶ ̶c̶o̶d̶e̶ ̶w̶i̶n̶d̶o̶w̶
- in the navigation bar
Update (few minutes later, after comparison in GIMP)
- confirmed for the navigation bar (maybe same font but bigger, and not bold)
- code window: seems my impression is just wrong (it took time to make final colors,
maybe that's just the reason)
请先登录再写评论。
Hi
I have a similar problem. My fonts look incorrect across the entire UI except for the editor. You can see the difference in the screenshot below (left is 2016.3.2, right is 2017.1).
@Adrian
You are on Linux. Please check https://intellij-support.jetbrains.com/hc/en-us/community/posts/115000139684/comments/115000169044
@Andriy
Many thanks for pointing me in the right direction.
I was able to correct the font rendering by switching my PHPStorm boot JDK to openjdk patched with a font fix which I got from here: https://launchpad.net/~no1wantdthisname/+archive/ubuntu/openjdk-fontfix.
Font rendering looks good again.