Fix minor bug mentioned in #10827

diff --git a/src/frontends/qt/GuiDocument.cpp b/src/frontends/qt/GuiDocument.cpp
index 47889caf3ce4628c5a56f24b05e7cb7c9f488f48..76b08132b356fb501e0f5ce93e53a99779960c35 100644 (file)
--- 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();
 }