Font options for the upper section of the editor
已回答
Hello,
Could you please help me identify the options for this section of the editor?
It is bigger then the editor font and it has a different setting as decreasing the editor font size does not change this section's font also.
Thank you.
请先登录再写评论。
See https://youtrack.jetbrains.com/issue/IDEA-157956. Should be fixed in 2016.3: https://confluence.jetbrains.com/display/IDEADEV/IDEA+2016.3+EAP.