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);
}
public void keyTyped(KeyEvent e) {
Tool tool = proj.getTool();
if (tool != null) tool.keyTyped(Canvas.this, e);
}