The font in WebStorm's UI is bold since 7.0.3

I am using WebStorm in Ubuntu 13.10 with theme Darcula.
From when i upgraded to version 7.0.3, the font that is used everywhere in UI is bold. I am talking only of the font used in Menus, Tool Windows, Options window, but not the editor. In the editor the font is ok.
It seams the same problem exists for "Alloy. IDEA Theme" and "GTK+" theme but not in "Intellij" theme. In "Intellij" theme the font remained regular.

I changed the theme from File -> Settings -> IDE Settings -> Appearance. For the font one can chose the name and the size (it seams is not recomanded to change that), but no option for bold exists.

Any idea how to fix this?


Please sign in to leave a comment.