diff --git a/packages/metals-vscode/package.json b/packages/metals-vscode/package.json index 9ccac0f4..ffbef41f 100644 --- a/packages/metals-vscode/package.json +++ b/packages/metals-vscode/package.json @@ -429,6 +429,11 @@ "type": "boolean", "default": false, "markdownDescription": "Once in a day, notify if there are new server releases (including snapshots)" + }, + "metals.defaultBspToBuildTool": { + "type": "boolean", + "default": false, + "markdownDescription": "Default to using build tool as your build server." } } },