mirror of
https://github.com/zed-industries/zed.git
synced 2026-06-01 03:14:56 +07:00
Currently, the `diagnostics` tool queries the current state of the workspace. However, if the LSP is slow to update diagnostics, this can lead to stale diagnostics being given to the agent. This PR changes the `diagnostics` tool to attempt to pull fresh diagnostics. If it fails, it informs the agent and falls back to the old behaviour (not all LSPs support pull-based diagnostics). Release Notes: - N/A or Added/Fixed/Improved ... |
||
|---|---|---|
| .. | ||
| src | ||
| tests/integration | ||
| Cargo.toml | ||
| LICENSE-GPL | ||