http://stackoverflow.com/a/12976496 shows me that they aren't using native font rendering.
http://blog.jetbrains.com/webide/2012/10/phpstorm-webstorm-5...