[patch] cursor position update, cursor often stays at old position

[Stefan Schimanski]

Here is a patch for the following problem:


  The cursor will stay at the old position until the cursor blink
  interval is over



Anyway, here is a patch.

Stefan

Index: src/frontends/WorkArea.cpp
===================================================================
--- src/frontends/WorkArea.cpp  (Revision 18792)
+++ src/frontends/WorkArea.cpp  (Arbeitskopie)
@@ -144,6 +144,13 @@

        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;

Write something in a "Standard" layout paragraph. Change it into Title. There are many more those cases: Try to insert a math delimiter ("Alt- m ("). The cursor stays outside of the math and then jump into it on the next blinking interval. There is also a bug report for that, but cannot find it currently.

cursorupdate.patch
Description: Binary data

PGP.sig
Description: Signierter Teil der Nachricht