Hello everybody.
I am using pretext-tools with visual Studio Code on a Windows machine.
If I understand correctly the changelog, latest version of pretext-tools improved the validation against schema. However, I have a problem with modular source (every chapter has its own file): when there are cross references from one file to another, and the main file is open, no error is reported while if I open a chapter file, cross references to other files are reported as errors.
Is there a way of avoiding this? Maybe I am missing some options.
All the best,
Valerio