()
| 3739 | } |
| 3740 | |
| 3741 | void saveAs() { |
| 3742 | String format = getFirstString(); |
| 3743 | String path = null; |
| 3744 | boolean oneArg = false; |
| 3745 | if (interp.nextToken()==',') |
| 3746 | path = getLastString(); |
| 3747 | else { |
| 3748 | interp.getRightParen(); |
| 3749 | oneArg = true; |
| 3750 | } |
| 3751 | if (oneArg && (format.contains(File.separator)||format.contains("/"))) |
| 3752 | IJ.save(format); // assume argument is a path |
| 3753 | else |
| 3754 | IJ.saveAs(format, path); |
| 3755 | } |
| 3756 | |
| 3757 | double getZoom() { |
| 3758 | interp.getParens(); |
no test coverage detected