そうなんです。ちなみにYouTrackには報告が上がってて https://youtrack.jetbrains.com/issue/IDEA-194402 昔も同様の報告があった記憶があるんですが、いまだに修正されてなくて。

6:04 AM

で、どうにかならないかなと。