This commit fixes 3 crashes when reverting a document:

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

diff --git a/src/frontends/WorkArea.C b/src/frontends/WorkArea.C
index cf2690620fb3c37457c7be6a8bdc733d8a66471f..aa522918116b36dfbfb825dbcb7171b09509356b 100644 (file)
--- a/src/frontends/WorkArea.C
+++ b/src/frontends/WorkArea.C
@@ -119,6 +119,18 @@ BufferView const & WorkArea::bufferView() const
 }
 
 
+void WorkArea::stopBlinkingCursor()
+{
+       cursor_timeout_.stop();
+}
+
+
+void WorkArea::startBlinkingCursor()
+{
+       cursor_timeout_.restart();
+}
+
+
 void WorkArea::checkAndGreyOut()
 {
        if (greyed_out_)