131132133134135136137138139140141
if (drag_tool != null) { drag_tool.mouseExited(Canvas.this, getGraphics(), e); } else { Tool tool = getToolFor(e); if (tool != null) { tool.mouseExited(Canvas.this, getGraphics(), e); } } } public void mousePressed(MouseEvent e) {