2020.1 fonts on hover dialogues are huge

I just installed 2020.1 which read the 2019.3 configuration I was previously using, most things look fine, but the hover dialog boxes on code warnings has wildly large fonts. I don't know where to set the font size for these hovers, I looked through settings but nothing popped out as an obvious knob for this. Running on Linux Mint 19.3.

 

1 comment
Comment actions Permalink

Here is how you can change the font size:

Has it helped?

2

Please sign in to leave a comment.