--- a/src/Tools/VSCode/src/vscode_main.scala Fri Mar 25 17:20:12 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_main.scala Fri Mar 25 17:21:39 2022 +0100
@@ -224,7 +224,7 @@
"L" -> (_ => server_log = true),
"R:" -> (arg => { logic = arg; logic_requirements = true }),
"U" -> (_ => uninstall = true),
- "V" -> (arg => vsix_path = Path.explode(arg)),
+ "V:" -> (arg => vsix_path = Path.explode(arg)),
"d:" -> (arg => session_dirs = session_dirs ::: List(Path.explode(arg))),
"i:" -> (arg => include_sessions = include_sessions ::: List(arg)),
"l:" -> (arg => { logic = arg; logic_requirements = false }),