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. I don't see any problems with that though.

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

Attachment: PGP.sig
Description: Signierter Teil der Nachricht

Reply via email to