Нашел время пересесть на PhpStorm 10. И не все прошло хорошо: сглаживание шрифтов куда-то подевалось. Читать дальше…