Fixup 5202d44e: make caret geometry update lazy

[features.git] / src / frontends / qt / GuiWorkArea_Private.h

diff --git a/src/frontends/qt/GuiWorkArea_Private.h b/src/frontends/qt/GuiWorkArea_Private.h
index 6342eaba4ac153fc7b1bf6201453ba39f5bd140b..75fad9b3e67c55716f9a5c08596e11e11d0e435f 100644 (file)
--- a/src/frontends/qt/GuiWorkArea_Private.h
+++ b/src/frontends/qt/GuiWorkArea_Private.h
@@ -169,6 +169,8 @@ struct GuiWorkArea::Private
        bool clean_;
        ///
        bool externally_modified_;
+       ///
+       bool needs_caret_geometry_update_;
 
 }; // GuiWorkArea