Do not display caret when we're not ready

[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..75ad98dbdc55beac16a28b9d6a19eae5822e274d 100644 (file)
--- a/src/frontends/qt/GuiWorkArea_Private.h
+++ b/src/frontends/qt/GuiWorkArea_Private.h
@@ -87,10 +87,10 @@ struct GuiWorkArea::Private
        void dispatch(FuncRequest const & cmd0);
        /// recompute the shape and position of the caret
        void updateCaretGeometry();
-       /// show the caret if it is not visible
-       void showCaret();
+       /// show the caret if it is not visible. Same as \c hideCaret when \c show is false.
+       void showCaret(bool show = true);
        /// hide the caret if it is visible
-       void hideCaret();
+       void hideCaret() { showCaret(false); }
        /// Set the range and value of the scrollbar and connect to its valueChanged
        /// signal.
        void updateScrollbar();