I have some strange issue since a few months and was hoping that the newest PHPTools version could fix it.
When I have the IDE in the background and try to resume my work the entire editor crashes once I scroll in the currently opened file.
Once I disable PHPTools this issue is gone.
What files should I provide so that you can have a look on that matter?
Thank you for your support!