#include "support/debug.h"
#include "support/gettext.h"
#include "support/FileName.h"
+#include "support/lassert.h"
#include "frontends/Application.h"
#include "frontends/FontMetrics.h"
switch (ev->key()) {
case Qt::Key_PageDown:
case Qt::Key_PageUp:
+ case Qt::Key_Left:
+ case Qt::Key_Right:
+ case Qt::Key_Up:
+ case Qt::Key_Down:
LYXERR(Debug::KEY, "system is busy: scroll key event ignored");
ev->ignore();
return;
void GuiWorkArea::update(int x, int y, int w, int h)
{
- viewport()->repaint(x, y, w, h);
+ viewport()->update(x, y, w, h);
}