Add settings for package diagnostics. (#236)

toitware · Dec 18, 2023 · edcf5a9 · edcf5a9
1 parent 6b3b2c1
commit edcf5a9
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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."
 				}
 			}
 		}