Skip to content

Commit

Permalink
improvement: adjust java version/java home descriptions/scopes
Browse files Browse the repository at this point in the history
  • Loading branch information
kasiaMarek committed Mar 14, 2024
1 parent f4be25b commit 6ec4fcf
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions packages/metals-vscode/package.json
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand All @@ -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",
Expand Down

0 comments on commit 6ec4fcf

Please sign in to comment.