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;
}