156157158159160161162163164165166
drag_tool = null; } Tool tool = proj.getTool(); if (tool != null) { tool.mouseMoved(Canvas.this, getGraphics(), e); } completeAction(); }
104105106107108109110111112113114
return; } Tool tool = getToolFor(e); if (tool != null) { tool.mouseMoved(Canvas.this, getGraphics(), e); } } public void mouseDragged(MouseEvent e) { if (drag_tool != null) {