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.
This commit is contained in:
Jean-Marc Lasgouttes 2024-08-27 00:09:04 +02:00
parent 7e1d7036ee
commit 52ec69a1af

View File

@ -5527,6 +5527,7 @@ Buffer::ReadStatus Buffer::reload()
removePreviews();
updatePreviews();
errors("Parse");
changed(true);
return status;
}