For those who went hunting through all the settings tabs as I did, you can change the font on the popup window itself. Open the window up on an item and click the little gear icon in the top-right of the window. This brings up a font size slider which is remembered.
No, currently this is not possible. Please file a feature request to http://youtrack.jetbrains.net/issues/WI
For those who went hunting through all the settings tabs as I did, you can change the font on the popup window itself. Open the window up on an item and click the little gear icon in the top-right of the window. This brings up a font size slider which is remembered.
Thank you. After 9 years, this is still a good advice!