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.

 

0

Here is how you can change the font size:

Has it helped?

2

请先登录再写评论。