I installed PHPStorm on my development archlinux box. It seems that PHPStorm is not aware of the dpi changes in KDE. The font in the help pages is almost unreadable.
Is there any way to set font dpi in PHPStorm.vmoptions for example? Or any other way to make it respect the 96 or 120 dpi of the system. I am using KDE 4.7.1
I have no problem with the fonts in Eclipse, but I really like PHPStorm's features better.:)
I searched google.com and jetbrains forums, but I could not find anything that would help, unless I am missing something.
Thanks in advance