From 4991101c61c332dfd087d2f2e2f49e064cdd7ff6 Mon Sep 17 00:00:00 2001 From: Federico Ponzi Date: Mon, 23 Dec 2024 14:30:42 +0000 Subject: [PATCH] Update config description for java home, Java 8 is no longer supported Signed-off-by: Federico Ponzi --- package.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/package.json b/package.json index 746c423..a09e97f 100644 --- a/package.json +++ b/package.json @@ -315,7 +315,7 @@ "type": "string", "scope": "window", "default": "", - "description": "Path to Java (8 or higher, 11 is recommended) home directory that should be used to run TLA+ tools.", + "markdownDescription": "Path to Java 11 (or higher) home directory that should be used to run TLA+ tools (akin to JAVA_HOME). [More info](https://docs.tlapl.us/using:vscode:installing_java#configure_the_extension)", "maxLength": 1000 }, "tlaplus.java.options": { @@ -336,7 +336,7 @@ "type": "string", "scope": "window", "default": "", - "description": "Additional options to pass to TLC.", + "markdownDescription": "Additional options to pass to TLC. Full list of available parameters is [here](https://github.com/tlaplus/tlaplus/blob/master/general/docs/current-tools.md).", "maxLength": 1000 }, "tlaplus.tlc.modelChecker.optionsPrompt": {