case KeyEvent.VK_DOWN:
return new KeyDownOperation(this);
case KeyEvent.VK_PAGE_UP:
return new PageUpOperation(this);
case KeyEvent.VK_PAGE_DOWN:
return new PageDownOperation(this);
}
return null;
} else {
return getLayoutAdapter().doKeyPressed(e);
}