Abdelrazak Younes wrote:
Perhaps a genereal rule is: if the whole workarea is to be painted,
use repaint, if not, use update. That should be possible to put into
sourcecode.
Maybe... Let me think a bit about that. I could make a special case in
"WorkArea::redraw()".
Does this patch solves the problem?
Abdel.
Index: src/frontends/qt4/GuiWorkArea.C
===================================================================
--- src/frontends/qt4/GuiWorkArea.C (revision 14234)
+++ src/frontends/qt4/GuiWorkArea.C (working copy)
@@ -515,8 +515,10 @@
void GuiWorkArea::expose(int x, int y, int w, int h)
{
-// lyxerr[Debug::GUI] << "expose " << w << 'x' << h
-// << '+' << x << '+' << y << std::endl;
+ if (x == 0 && y == 0 && w == width() && h == height()) {
+ repaint();
+ return;
+ }
update(x, y, w, h);
}
