3 comments
Avatar
Permanently deleted user

Hello Sven
     Apparently, this fix didn't make it into the latest nightly build, but it should become available in the next one. Thank you!

Andrey Serebryansky

Senior Support Engineer

JetBrains, Inc

http://www.jetbrains.com

"Develop with pleasure!"

0

Thanks. It worked a couple of builds however in build 7.0.80.93 it is broken again. :(

0
Avatar
Permanently deleted user

Hello Sven
     I've reopened that bug and we will take a look. Thank you!

Andrey Serebryansky

Senior Support Engineer

JetBrains, Inc

http://www.jetbrains.com

"Develop with pleasure!"

0

Please sign in to leave a comment.