// KeyListener interface ---------------
public void keyPressed(KeyEvent e) {
int code = e.getKeyCode();
switch (code) {
case KeyEvent.VK_DOWN:
fireActionPerformed("down");
e.consume();
break;
case KeyEvent.VK_UP:
fireActionPerformed("up");
e.consume();
break;
case KeyEvent.VK_PAGE_DOWN:
fireActionPerformed("next");
e.consume();
break;
case KeyEvent.VK_PAGE_UP:
fireActionPerformed("prev");
e.consume();
break;
}
}
