//
// KeyListener methods
//
public void keyPressed(KeyEvent e) {
Tool tool = proj.getTool();
if (tool != null) tool.keyPressed(Canvas.this, e);
}
public void keyReleased(KeyEvent e) {
Tool tool = proj.getTool();
if (tool != null) tool.keyReleased(Canvas.this, e);
}