From ff9ebc747d88f85c8edc5eab1546b0575be02e88 Mon Sep 17 00:00:00 2001
From: Lukas Wirth <lukastw97@gmail.com>
Date: Sat, 13 Apr 2024 22:45:22 +0200
Subject: [PATCH] Temporarily disable unlinked file popup
---
editors/code/src/client.ts | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
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"
) {