Webstorm 10 : can't disable antialised fonts Follow

Hi, upgraded from Webstorm 9 to 10 (jdk 1.8 version) on OSX Yosemite.

In preferences, the "Use anti-aliased font" option is un-checked, but the font in editor and console are still anti-aliased.

Is there anything else I can/should try?

Thanks