Clarify enum option in Dafny version picker (#419)

dafny-lang · Aug 15, 2023 · e3f00e2 · e3f00e2
1 parent 63e5d7f
commit e3f00e2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/package.json b/package.json
@@ -226,7 +226,7 @@
         "dafny.version": {
           "type": "string",
           "enum": [
-            "latest",
+            "latest stable release",
             "4.2.0",
             "4.1.0",
             "4.0.0",
@@ -247,7 +247,7 @@
             "custom",
             "latest nightly"
           ],
-          "default": "latest",
+          "default": "latest stable release",
           "description": "The preferred Dafny version to use (requires restart)."
         },
         "dafny.dotnetExecutablePath": {

diff --git a/src/constants.ts b/src/constants.ts
@@ -45,7 +45,7 @@ export namespace DotnetConstants {
 }
 
 export namespace LanguageServerConstants {
-  export const LatestStable = 'latest';
+  export const LatestStable = 'latest stable release';
   export const LatestNightly = 'latest nightly';
   export const Custom = 'custom';
   export const LatestVersion = '4.2.0';