Stefan Schimanski wrote:
The bug: http://bugzilla.lyx.org/show_bug.cgi?id=3234

It seems it's not possible to check whether the cursor is already visible. With the patch it is always shown directly after resizing.

Good detective work!

I don't see any problems with that though.

There can't be problem with this, just commit it.

Abdel.


Stefan


Index: src/frontends/qt4/GuiWorkArea.cpp
===================================================================
--- src/frontends/qt4/GuiWorkArea.cpp    (Revision 18815)
+++ src/frontends/qt4/GuiWorkArea.cpp    (Arbeitskopie)
@@ -561,6 +561,8 @@
         screen_ = QPixmap(viewport()->width(), viewport()->height());
         resizeBufferView();
         updateScreen();
+        WorkArea::hideCursor();
+        WorkArea::showCursor();
         need_resize_ = false;
     }


Reply via email to