From 30189332c84ab91de2c5b4570b91dae02d00b599 Mon Sep 17 00:00:00 2001 From: Richard Kimberly Heck Date: Wed, 4 Jan 2023 23:23:30 -0500 Subject: [PATCH] Fix minor bug mentioned in #10827 --- src/frontends/qt/GuiDocument.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/frontends/qt/GuiDocument.cpp b/src/frontends/qt/GuiDocument.cpp index 47889caf3c..76b08132b3 100644 --- a/src/frontends/qt/GuiDocument.cpp +++ b/src/frontends/qt/GuiDocument.cpp @@ -1888,6 +1888,7 @@ void GuiDocument::slotApply() if (wasclean && only_shellescape_changed) buffer().markClean(); modulesChanged_ = false; + isValid(); } -- 2.39.5