From f3aa1c3c377cc4d1a78426d2ca8fc10fb42fe099 Mon Sep 17 00:00:00 2001 From: Katarzyna Marek Date: Tue, 12 Mar 2024 16:21:42 +0100 Subject: [PATCH] improvement: adjust java version/java home descriptions/scopes --- packages/metals-vscode/package.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/packages/metals-vscode/package.json b/packages/metals-vscode/package.json index 9ce956b1..e5a576a6 100644 --- a/packages/metals-vscode/package.json +++ b/packages/metals-vscode/package.json @@ -270,7 +270,7 @@ "metals.javaHome": { "type": "string", "scope": "machine-overridable", - "markdownDescription": "Optional path to the Java home directory. Requires reloading the window.\n\nDefaults to Java 17 (or another version specified in javaVersion) downloaded by coursier." + "markdownDescription": "Optional path to the Java home directory that will be used for compiling the project.\n\nDefaults to JDK used by Metals's server (look: Java Version).\n\nThis Java version should be lower or equal to JDK version used by the Metals's server." }, "metals.javaVersion": { "type": "string", @@ -280,8 +280,8 @@ "17", "21" ], - "scope": "machine-overridable", - "markdownDescription": "Optional Java version to start metals with." + "scope": "machine", + "markdownDescription": "JDK version used for running the Metals's server.\n\nShould be greater or equal to the JDK version used for the project (look: Java Home)." }, "metals.sbtScript": { "type": "string",