Font options for the upper section of the editor
Answered
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.
Please sign in to leave a comment.
See https://youtrack.jetbrains.com/issue/IDEA-157956. Should be fixed in 2016.3: https://confluence.jetbrains.com/display/IDEADEV/IDEA+2016.3+EAP.