diff options
Diffstat (limited to 'src/host_io.zig')
| -rw-r--r-- | src/host_io.zig | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/host_io.zig b/src/host_io.zig index 9e9a37ed..a488f0f8 100644 --- a/src/host_io.zig +++ b/src/host_io.zig @@ -188,7 +188,9 @@ pub const Lsp = struct { }; // ponytail: a copy of every open file per such query; a server // already told of one is sent nothing more (syncDoc). - if (pardes.lsp.reachesOtherFiles(req.kind)) { + // Lspwhy too: the query it explains may be one of those, and its + // trace shows each file synced first. + if (pardes.lsp.reachesOtherFiles(req.kind) or req.kind == .explain) { var others: std.ArrayList(pardes.lsp.Doc) = .empty; errdefer { for (others.items) |doc| { |