From 1fc827a74e45d0437f3fd367b9aca26c1a7a97cb Mon Sep 17 00:00:00 2001
From: Florian Loitsch <florian@toit.io>
Date: Mon, 18 Dec 2023 15:26:52 +0400
Subject: [PATCH] Add settings for package diagnostics.

---
 vscode/package.json | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/vscode/package.json b/vscode/package.json
index 11492d3..c1dde58 100644
--- a/vscode/package.json
+++ b/vscode/package.json
@@ -293,6 +293,11 @@
 					],
 					"default": "off",
 					"description": "Traces the communication between VSCode and the ToitLanguageServer service."
+				},
+				"toitLanguageServer.reportPackageDiagnostics": {
+					"type": "boolean",
+					"default": false,
+					"description": "Report diagnostics for files in '.packages' folders."
 				}
 			}
 		}