From 52ec69a1af7f8c860d6f1d6ed6337db58d5ce163 Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Tue, 27 Aug 2024 00:09:04 +0200
Subject: [PATCH] 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.
---
 src/Buffer.cpp | 1 +
 1 file changed, 1 insertion(+)

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