183184185186187188189190191192193
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); } // // PopupMenuListener mtehods //