Unnamed repository; edit this file 'description' to name the repository.
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
bors 2024-04-14
parent 773b4a5 · parent ff9ebc7 · commit beb205f
-rw-r--r--editors/code/src/client.ts5
1 files changed, 4 insertions, 1 deletions
diff --git a/editors/code/src/client.ts b/editors/code/src/client.ts
index 1cbf247297..372dc8bedf 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"
) {