diff options
| author | bors <bors@rust-lang.org> | 2024-04-13 22:55:03 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-04-13 22:55:03 +0000 |
| commit | beb205f347d676ec3dc6e6d13793a7c814f0a417 (patch) | |
| tree | 107638943af4b888763f35302e825fac826f5997 | |
| parent | 773b4a5ac72fa3f981b9e57a57707de651dd87aa (diff) | |
| parent | ff9ebc747d88f85c8edc5eab1546b0575be02e88 (diff) | |
| download | rust-beb205f347d676ec3dc6e6d13793a7c814f0a417.tar.gz rust-beb205f347d676ec3dc6e6d13793a7c814f0a417.zip | |
Auto merge of #17062 - Veykril:disable-unlinked-file-popup, r=Veykril
Temporarily disable unlinked file popup Not gonna look into this until the next release, so I'd rather disable it for the time being
| -rw-r--r-- | editors/code/src/client.ts | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/editors/code/src/client.ts b/editors/code/src/client.ts index 1cbf247297f..372dc8bedfd 100644 --- a/editors/code/src/client.ts +++ b/editors/code/src/client.ts @@ -131,7 +131,10 @@ export async function createClient( ? diag.code : diag.code?.value; if ( - value === "unlinked-file" && + // FIXME: We currently emit this diagnostic way too early, before we have + // loaded the project fully + // value === "unlinked-file" && + value === "temporary-disabled" && !unlinkedFiles.includes(uri) && diag.message !== "file not included in module tree" ) { |