Petr

Total activity 4
Last activity April 18, 2018 10:45
Member since April 10, 2018 08:03
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Created April 18, 2018 10:45

I've reported it here: https://youtrack.jetbrains.com/issue/IDEA-190158
- 1 vote
Created April 10, 2018 09:21

I just installed 2018.1.1, but the problem persist. Thank you @Andriy for pointing me to the issue though.
- 0 votes