3 ms·Have you considered filing a ticket on their issue tracker? I find Jetbrains are pretty responsive...by OOPMan 6y agoHave you considered filing a ticket on their issue tracker? I find Jetbrains are pretty responsive...