diff options
| author | Lukas Wirth <lukastw97@gmail.com> | 2024-04-13 22:45:22 +0200 |
|---|---|---|
| committer | Lukas Wirth <lukastw97@gmail.com> | 2024-04-13 22:45:22 +0200 |
| commit | ff9ebc747d88f85c8edc5eab1546b0575be02e88 (patch) | |
| tree | 655c579ac6d03ddfec91c910483e1a8d8ff3c918 | |
| parent | 8078c3d9e860eb1fd871a9030dfe2f893360bcd7 (diff) | |
| download | rust-ff9ebc747d88f85c8edc5eab1546b0575be02e88.tar.gz rust-ff9ebc747d88f85c8edc5eab1546b0575be02e88.zip | |
Temporarily disable unlinked file popup
| -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" ) { |