php4fan

I can't test anymore because the bot whose name was on the screenshots has since been renamed to a shorter name, but I'm pretty sure the issue still exists. And...

Issue still exists

It seems to depend on: 1) whether you copy the first line in its entirety including all the trailing spaces, or without the trailing spaces, or with only some 2)...

Were you able to reproduce with the hints in my last comment?

It is indeed turned off, but I don't see how the current behavior makes any sense even with that option turned off. If not formatting on paste means not touching...

After a couple of minutes and having done nothing, it's working again

Just happened to me again. As usual, issues goes away after a few minutes or (in this case) seconds.

I'm under the impression that, every time this happens, it doesn't matter how long I wait (either doing nothing or ctrl+clicking again and again on a function call) it won't...

> Isn't it happening after the Language Server gets restarted after a crash or something? I don't know, how can I check that? If it is crashing, this is the...

> There would be an exception in OUTPUT / PHP Language Server. By the way it's difficult to figure out when the messages in the output were logged, because they...