Hey PG,
I just realised that the Error-Markers (“Mark selection as faulty”) are not being saved.
This is a minor bug with major consequences concerning workflow.
Are you able to confirm this bug ?
Thanks,
Stanley
PS: I am running the latest build.
There is an option to enable saving of error markers:
The original concept is: once you have found errors, you usually correct them, hence you don’t need the markers anymore. Hence that option off by defualt.