| changeset 75240 | 83197a0ac6df |
| parent 75170 | 08b8c0a2d67c |
| child 75252 | 41dfe941c3da |
--- a/lib/Tools/vscode Mon Mar 07 17:18:19 2022 +0100 +++ b/lib/Tools/vscode Mon Mar 07 21:16:12 2022 +0100 @@ -4,6 +4,8 @@ # # DESCRIPTION: run Isabelle/VSCode using local VSCodium installation +export ISABELLE_VSCODE_SYMBOLS="$(platform_path "$ISABELLE_VSCODE_WORKSPACE/symbols.json")" + DIR="$(isabelle vscode_setup -C)" || exit "$?" exec "$DIR/bin/codium" \ --locale en-US \