(MouseEvent e)
| 1379 | } |
| 1380 | |
| 1381 | public void mouseExited(MouseEvent e) { |
| 1382 | PlugInTool tool = Toolbar.getPlugInTool(); |
| 1383 | if (tool!=null) { |
| 1384 | tool.mouseExited(imp, e); |
| 1385 | if (e.isConsumed()) return; |
| 1386 | } |
| 1387 | ImageWindow win = imp.getWindow(); |
| 1388 | if (win!=null) |
| 1389 | setCursor(defaultCursor); |
| 1390 | IJ.showStatus(""); |
| 1391 | mouseExited = true; |
| 1392 | } |
| 1393 | |
| 1394 | public void mouseDragged(MouseEvent e) { |
| 1395 | int x = e.getX(); |
no test coverage detected