Comment 5 for bug 1742675

I suppose, the following 2 bugs are related to the fact that I work under linux-image-extra-4.10.0-42-generic. Both appeared in Phpstorm only recently after this main bug:
a) Once some PHP files edited through Phpstorm were cached somewhere deeply in Ubuntu. So, when i ran them through local webserver older versions were loaded. The bug was resolved by restarting Ubuntu.
b) Now there is continuous bug. Phpstorm performs some indexing operations with files continously and some part of UI are blinking.

As you can see all this is related somehow to file system.

I'm not sure whether I need to post these bugs separately.