Ruifeng Xie (Jul 26 2026 at 12:18): Ruifeng Xie (Jul 26 2026 at 12:18):It seems isabelle vscode hard codes --locale en-us, so switching display language within VSCodium does not work at all. How can I customise the command line arguments?
Ruifeng Xie (Jul 26 2026 at 12:33):I don't know what to say ...
I found the Scala source code for launching VSCode, and discovered that it hard codes the command line arguments:
val args0 =
List(platform_path("$ISABELLE_VSCODIUM_RESOURCES/vscodium/out/cli.js"), "--locale", "en-US",
"--user-data-dir", platform_path("$ISABELLE_VSCODE_SETTINGS/user-data"),
"--extensions-dir", platform_path("$ISABELLE_VSCODE_SETTINGS/extensions"))
I thought that it does not harm to try and edit this myself, and I deleted the --locale option (the file is read-only, so I had to force the update). I am completely shocked when I see the command isabelle vscode rebuild the jar file and the issue is fixed.
I do not know who decided to bundle a Scala SDK into the Isabelle distribution, but this is really amazing UX. Perhaps this can be fixed upstream (or there might be a reason for hard coding the locale?). Otherwise, I think this case is resolved.
Notification Bot (Jul 26 2026 at 12:33):Ruifeng Xie has marked this topic as resolved.
Last updated: Aug 11 2026 at 20:46 UTC