0
Vote

Let user decide if the document should be saved in case of validator crash

description

Sometimes the validator crashes due to a bug in the code. It is difficult to deduct from the exception-trace what was the cause of the crash.
 
It would be nice if the UI contained a checkbox with the text "in case of exception - allow the document to be saved for debugging purposes".

comments