Quick Search result names are messed up
Answered
Bug. See the messed up result names in the picture. It happens sometimes.
Please sign in to leave a comment.
It's already reported here: https://youtrack.jetbrains.com/issue/IDEA-174206.