Folks, I asked for help on this one: <https://yout...
# randomh
hallvard
07/25/2019, 9:26 PMFolks, I asked for help on this one: https://youtrack.jetbrains.com/issue/IDEA-88198, and today, that issue reached top 10! Thanks for agreeing with me that this is important!