(MouseEvent e)
| 1804 | } |
| 1805 | |
| 1806 | public void mouseClicked(MouseEvent e) { |
| 1807 | PlugInTool tool = Toolbar.getPlugInTool(); |
| 1808 | if (tool!=null) |
| 1809 | tool.mouseClicked(imp, e); |
| 1810 | } |
| 1811 | |
| 1812 | public void setScaleToFit(boolean scaleToFit) { |
| 1813 | this.scaleToFit = scaleToFit; |
no test coverage detected