WorkArea.cpp: fix cursor placement by updating the cursor position;

fixes http://bugzilla.lyx.org/show_bug.cgi?id=3873
patch from Stefan

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@18799 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/src/frontends/WorkArea.cpp b/src/frontends/WorkArea.cpp
index a7f6e3bad7bece09ae5affd12f1c850f5675f81b..4e8187567c9ce6392994487f98d4ca9c1141ea82 100644 (file)
--- a/src/frontends/WorkArea.cpp
+++ b/src/frontends/WorkArea.cpp
@@ -144,6 +144,13 @@ void WorkArea::redraw()
 
        updateScrollbar();
 
+       // update cursor position, because otherwise it has to wait until
+       // the blinking interval is over
+       if (cursor_visible_) {
+               hideCursor();
+               showCursor();
+       }
+       
        ViewMetricsInfo const & vi = buffer_view_->viewMetricsInfo();
        greyed_out_ = false;