when I installed IDEA 13, I saw that the font for the IDE (not the editor) looks bigger and bolder. It's really a waste of space this way. I thought the default font might have changed, but indeed it is the same "Ubuntu" font at size 15 which is used. Does someone know what happened here?
My system is Ubuntu 12.04 precise, 64bit with GNOME, Oracle JRE 1.7.0_17
Update: As played around, I that it is indeet the Ubuntu font which is used, but it is set in bold instead of plain. Therefore, "Ubuntu" and "Ubuntu Bold" look similar in IDEA 13 (and of course only there).
Here is a screenshot for IDEA 12
And here is one of the same window with IDEA 13