Thorsten Ball
1a6cd73334
Cancel language server requests if request is dropped
...
Before this change, we would send requests to language servers without
canceling them even if we never wait for their response.
Example: when doing document highlights, we'd send a request (modulo
debouncing) whenever a change was made, ignoring previously sent
requests that might still be in-flight.
With this change, we now send a Cancel request (from the LSP spec) to
the language server in case no one listens to the response anymore
(which is what happens when the `Future` returned by `request_internal`)
is dropped.
2024-01-19 16:28:27 +01:00
..
2024-01-15 11:34:06 -05:00
2024-01-17 14:31:21 -08:00
2024-01-08 16:53:01 -07:00
2024-01-18 16:38:14 -05:00
2024-01-03 12:59:39 -08:00
2024-01-18 23:12:42 -05:00
2024-01-15 11:34:06 -05:00
2024-01-15 14:08:49 -08:00
2024-01-18 15:59:13 -07:00
2024-01-18 20:58:09 -07:00
2024-01-18 21:03:55 -07:00
2024-01-19 12:43:27 +01:00
2023-12-12 13:35:22 +01:00
2024-01-17 11:39:09 -05:00
2024-01-15 20:22:47 -05:00
2024-01-18 10:59:32 +01:00
2024-01-17 17:13:47 -08:00
2024-01-03 12:59:39 -08:00
2024-01-18 00:48:37 +01:00
2024-01-19 10:25:55 +02:00
2024-01-18 01:33:30 -05:00
2024-01-15 11:34:06 -05:00
2024-01-18 00:48:37 +01:00
2024-01-17 14:31:21 -08:00
2024-01-03 12:59:39 -08:00
2024-01-03 12:33:51 -08:00
2024-01-18 00:48:37 +01:00
2024-01-19 10:26:39 +01:00
2024-01-17 14:31:21 -08:00
2024-01-03 12:59:39 -08:00
2024-01-18 00:48:37 +01:00
2024-01-18 10:59:32 +01:00
2024-01-18 15:31:31 -08:00
2024-01-18 00:48:37 +01:00
2024-01-17 21:19:28 -07:00
2024-01-09 16:10:12 -07:00
2024-01-19 16:28:27 +01:00
2024-01-02 00:04:51 +01:00
2024-01-03 12:59:39 -08:00
2024-01-17 14:31:21 -08:00
2023-12-06 14:29:09 -08:00
2024-01-03 20:02:23 -05:00
2024-01-18 00:48:37 +01:00
2024-01-18 16:54:35 +02:00
2024-01-10 10:09:48 -05:00
2024-01-03 12:59:39 -08:00
2024-01-17 14:31:21 -08:00
2024-01-18 15:31:31 -08:00
2024-01-18 00:48:37 +01:00
2024-01-18 00:48:37 +01:00
2024-01-17 14:31:21 -08:00
2024-01-17 14:31:21 -08:00
2024-01-14 13:54:10 -07:00
2024-01-10 10:09:48 -05:00
2024-01-12 20:10:40 -08:00
2024-01-18 15:05:45 +01:00
2024-01-18 01:33:30 -05:00
2024-01-05 19:36:55 +01:00
2024-01-17 14:31:21 -08:00
2024-01-18 22:10:41 -05:00
2024-01-18 23:17:41 -05:00
2024-01-01 23:50:14 +01:00
2024-01-18 10:04:38 +01:00
2024-01-18 14:03:27 -07:00
2024-01-09 14:16:46 -08:00
2024-01-17 14:31:21 -08:00
2024-01-17 14:31:21 -08:00
2024-01-15 11:34:06 -05:00
2024-01-18 22:52:30 -05:00
2024-01-19 16:28:27 +01:00
2024-01-17 14:31:21 -08:00
2024-01-18 13:20:08 -07:00
2024-01-17 14:31:21 -08:00
2024-01-18 23:17:41 -05:00
2024-01-18 19:39:13 -07:00
2024-01-03 12:59:39 -08:00