@th3rdsergeevich уфф, чего-то они интерфейс переделали. как-то непривычно.

ага, старый ui ставится отдельным плагином. хитро https://plugins.jetbrains.com/plugin/24468-classic-ui