It doesn't work. .calva/output-window/output.calva-repl relative to the project root is included. Given the setting docs, I can't figure out how this could possibly be specified any differently.
This bug makes the extension unusable because its numerous extremely pathological performance cases cannot be worked around at all. I was using 0.0.226 in VS Code 1.80.1 on macOS 12.6.7.
My settings.json has this preference (set from the UI):
It doesn't work.
.calva/output-window/output.calva-repl
relative to the project root is included. Given the setting docs, I can't figure out how this could possibly be specified any differently.This bug makes the extension unusable because its numerous extremely pathological performance cases cannot be worked around at all. I was using 0.0.226 in VS Code 1.80.1 on macOS 12.6.7.