This commit fixes 3 crashes when reverting a document:

[features.git] / src / frontends / WorkArea.h

diff --git a/src/frontends/WorkArea.h b/src/frontends/WorkArea.h
index 0995364f2464bba8b9f5c7367f24eaebed187ef6..6876bf7972726e78058d9e1c538f5e1e5086fd2d 100644 (file)
--- a/src/frontends/WorkArea.h
+++ b/src/frontends/WorkArea.h
@@ -85,6 +85,9 @@ public:
        virtual void redraw();
        ///
        void checkAndGreyOut();
+       ///
+       void stopBlinkingCursor();
+       void startBlinkingCursor();
 
 protected:
        /// grey out (no buffer)