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

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

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;