Great to hear. This bug will be fixed then I guess: https://youtrack.jetbrains.com/issue/UP-6943
Thanks a lot!
Great to hear. This bug will be fixed then I guess: https:/ /youtrack. jetbrains. com/issue/ UP-6943
Thanks a lot!