Files
zed/crates
Kirill Bulatov edacffab58 Refresh diagnostics inside the tab (#3225)
r-a now has 2 different types of diagnostics: 
* "disk-based" ones that come from `cargo check` and related, that emit
`project::Event::DiskBasedDiagnosticsStarted` and
`DiskBasedDiagnosticsFinished`
* "flycheck" diagnostics from r-a itself, that it tries to dynamically
apply to every buffer open, that come with `DiagnosticsUpdated` event.

Latter diagnostics update frequently, on every file close and open, but
`diagnostics.rs` logic had never polled for new diagnostics after
registering the `DiagnosticsUpdated` event, so the only way we could
have newer diagnostics was to re-open the whole panel.
The PR fixes that, and also adds more debug logging to the module.
The logic of the fix looks very familiar to previous related fix:
https://github.com/zed-industries/zed/pull/3128

One notable thing after the fix: "flycheck" diagnostics stay forever if
the diagnostics panel is opened: excerpts in that panel do not allow the
buffer to get dropped (hence, closed in terms of r-a) and get the
updated, zero diagnostics.
If the diagnostics panel is opened and closed multiple times, those
errors gradually disappear.

Release Notes:

- Fixed diagnostics panel not refreshing its contents properly
2023-11-03 22:03:05 +02:00
..
2023-11-02 10:55:02 -07:00
2023-11-02 10:55:02 -07:00
2023-10-27 10:55:15 +02:00
2023-11-02 10:55:02 -07:00
2023-11-03 10:41:41 -07:00
2023-11-01 14:50:29 -04:00
2023-10-25 17:09:12 +02:00
2023-08-15 03:06:43 -07:00
2023-11-03 10:09:00 +01:00
2023-11-02 10:55:02 -07:00
2023-11-03 21:51:12 +02:00
2023-11-03 21:51:12 +02:00
2023-11-03 14:42:26 +01:00
2023-10-02 19:35:31 -04:00
2023-10-12 16:17:41 +03:00
2023-11-02 19:18:01 -06:00
2023-11-02 10:55:02 -07:00
2023-11-02 19:18:01 -06:00
WIP
2023-11-03 12:04:24 -07:00
2023-09-11 09:00:59 -06:00
2023-11-03 12:55:06 +02:00
2023-11-02 10:55:02 -07:00
2023-11-02 10:55:02 -07:00
2023-11-02 19:19:18 -06:00
2023-06-02 22:02:19 -04:00
2023-06-02 22:02:19 -04:00
2023-11-03 11:02:50 +02:00
2023-11-03 11:02:50 +02:00
2023-11-03 11:02:50 +02:00
2023-11-03 11:02:50 +02:00
WIP
2023-08-10 10:26:48 -06:00
2023-10-16 20:19:04 +02:00
2023-11-02 19:30:33 -06:00
2023-11-03 10:41:41 -07:00
2023-11-02 10:55:02 -07:00
2023-11-02 10:55:02 -07:00
2023-11-03 14:53:08 +01:00
2023-11-02 12:28:58 -06:00
wip
2023-11-01 13:53:45 -06:00
2023-10-23 11:06:58 +02:00
2023-10-25 15:53:34 +02:00
2023-06-22 18:06:52 +02:00
2023-11-01 12:34:26 -04:00
2023-10-28 11:37:25 -04:00