Force a metrics update of buffer after reload

It makes reload more robust and is in any case good enough to avoid
crash in #139091.

Fixes bug #13091.

diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index fe259df8d739050412f8dc32449ee29aa4f46aba..6c5713b9c28631da38b339e4d49a5b70a940bfd0 100644 (file)
--- a/src/Buffer.cpp
+++ b/src/Buffer.cpp
@@ -5527,6 +5527,7 @@ Buffer::ReadStatus Buffer::reload()
        removePreviews();
        updatePreviews();
        errors("Parse");
+       changed(true);
        return status;
 }