From ff9ebc747d88f85c8edc5eab1546b0575be02e88 Mon Sep 17 00:00:00 2001 From: Lukas Wirth 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 1cbf247297ff..372dc8bedfda 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" ) {