You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: src/languages/extensions/configurations/scalameta.json
+2-2Lines changed: 2 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -4,7 +4,7 @@
4
4
"properties": {
5
5
"metals.serverVersion": {
6
6
"type": "string",
7
-
"default": "0.11.1",
7
+
"default": "0.11.1+97-0ef9a93b-SNAPSHOT",
8
8
"markdownDescription": "The version of the Metals server artifact. Requires reloading the window.\n\n**Change only if you know what you're doing**",
9
9
"scope": 3
10
10
},
@@ -51,7 +51,7 @@
51
51
"metals.javaHome": {
52
52
"type": "string",
53
53
"scope": 6,
54
-
"markdownDescription": "Optional path to the Java home directory. Requires reloading the window.\n\nDefaults to the most recent Java version between 8 and 11 (inclusive) computed by the `locate-java-home` npm package."
54
+
"markdownDescription": "Optional path to the Java home directory. Requires reloading the window.\n\nDefaults to the most recent Java version between 8 and 17 (inclusive) computed by the `locate-java-home` npm package."
0 commit comments