Max Brunsfeld
0e332b5f94
Clear old diagnostics when restarting a language server ( #2509 )
...
Previously, restarting a language server did not clear out the
diagnostics that were published by that server. Those diagnostics would
stick around forever.
Release Notes:
* Fixed a bug where restarting a language server would sometimes leave
buffers with stale diagnostics associated with that server.
2023-05-22 13:06:32 -07:00
..
2023-05-20 09:54:38 -06:00
2023-04-24 17:41:55 -07:00
2023-05-17 15:06:11 -07:00
2023-05-17 14:44:59 -07:00
2023-04-24 17:41:55 -07:00
2023-05-16 21:07:48 +03:00
2023-05-19 17:15:05 -07:00
2023-04-24 17:41:55 -07:00
2023-05-19 18:09:47 -07:00
2023-05-17 15:05:20 -07:00
2023-03-28 20:13:17 -07:00
2023-05-17 14:44:59 -07:00
2023-05-17 14:44:59 -07:00
2023-05-17 15:05:20 -07:00
2023-05-20 09:54:38 -06:00
2023-04-24 17:41:55 -07:00
2023-05-22 11:46:52 -07:00
2023-05-08 11:42:00 -04:00
2023-05-22 12:51:21 -07:00
2023-05-20 09:54:38 -06:00
2023-05-20 09:54:38 -06:00
2023-05-16 13:00:39 -04:00
2023-04-24 17:41:55 -07:00
2023-02-27 12:06:10 -08:00
2023-05-22 10:55:44 -07:00
2023-05-20 09:54:38 -06:00
2023-05-19 18:52:30 +03:00
2023-05-02 19:38:48 +02:00
2023-04-24 17:41:55 -07:00
2023-05-20 09:54:38 -06:00
2023-05-22 12:53:22 -07:00
2023-05-20 09:54:38 -06:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-05-20 09:54:38 -06:00
2023-04-24 17:41:55 -07:00
2023-04-27 14:29:11 +02:00
2023-04-28 16:42:36 -04:00
2023-05-20 09:54:38 -06:00
2023-05-20 09:54:38 -06:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-05-22 12:53:22 -07:00
2023-05-19 15:04:37 -07:00
2023-05-20 09:54:38 -06:00
2023-05-20 09:54:38 -06:00
2023-04-24 17:41:55 -07:00
2023-05-15 16:22:00 -07:00
2023-05-19 22:06:47 +03:00
2023-05-22 08:48:37 -07:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-05-12 08:37:32 -07:00
2023-05-17 15:56:32 -07:00
2023-05-20 09:54:38 -06:00
2023-05-19 18:09:47 -07:00
2023-05-18 09:01:38 -07:00
2023-05-20 09:54:38 -06:00
2023-05-17 15:56:32 -07:00
2023-05-17 09:55:24 -07:00
2023-05-17 15:06:11 -07:00
2023-05-20 09:54:38 -06:00
2023-05-19 17:15:05 -07:00
2023-05-17 16:53:48 -07:00