Tobias Guggenmos

Update: There exists the experimental websocket package for this now.

Regarding metrics? The main difference is that http requests are upgraded to websocket connections that are kept open as long as the client is running.

No, it opens one endpoint that upgrades to a websocket connection that serves as a transport layer for the [Language Server Protocol](https://microsoft.github.io/language-server-protocol/specifications/specification-current/). The rest package is a alternative API for...

Yes.

> I mean the future of this project even if it is sad to say that is going soon to be in a "maintenance" mode where you have most of...

At the moment not possible, due to bugs in VS Code (see PR).

Thanks for your request! > The most promiment open question AFAICT in this case is the format of those hints: how they should look like? Also, as far as I...

We're getting kind of closer to be able to implement such a thing. Another example found by @LiliC is the case of ` on () topk()`. In this case the...

Another thing that a linter could warn against: https://github.com/prometheus/prometheus/issues/4543

> Is there any real advantage of using native Wayland over XWayland, as far as Kitty is concerned? The most visible advantage of using Wayland is that the window properly...