Comment 15 for bug 1834583

bart (bart-wp) wrote :

Hi I can confirm this for Jetbrain's phpstorm and for jedit.
It is a major issue if these happen to be important tools in the office.