It appears to me (maybe I am not remembering well, though) that the default font for the Project Files has changed for the default Darcula theme. I do not know what the original font was, nor how to change it back. Can someone please tell me? Thank you.
I am running PHPStorm on Windows 7.