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