public Rectangle getViewRect() {
return panel.getViewRect();
}
public void setCursor(Cursor cursor) {
panel.setCursor(cursor);
}
public void addMouseMotionListener(MouseMotionListener listener) {
panel.addMouseMotionListener(listener);
}
public void addKeyListener(KeyListener listener) {
panel.addKeyListener(listener);
}
public void repaint() {
panel.repaint();
}