# HG changeset patch
# User wenzelm
# Date 1648225299 -3600
# Node ID 48922e5656277cdb8bba3834a0f4a54b218c385b
# Parent  93943e7e38a47151453d55f55f55a502c2eded38
proper option argument;

diff -r 93943e7e38a4 -r 48922e565627 src/Tools/VSCode/src/vscode_main.scala
--- 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 }),