document.c: Immediately mark as changed when document is externally deleted
Before infobar it didn't matter because the dialog was modal and interaction with the doc was impossible. Now that you can interact it the doc should be marked changed immediately.
Showing
Please
register
or
sign in
to comment