()
| 3343 | } |
| 3344 | |
| 3345 | void selectImage() { |
| 3346 | interp.getLeftParen(); |
| 3347 | if (isStringArg()) { |
| 3348 | String title = getString(); |
| 3349 | if (!isOpen(title)) |
| 3350 | interp.error("\""+title+"\" not found"); |
| 3351 | selectImage(title); |
| 3352 | interp.getRightParen(); |
| 3353 | } else { |
| 3354 | int id = (int)interp.getExpression(); |
| 3355 | if (WindowManager.getImage(id)==null) |
| 3356 | interp.error("Image "+id+" not found"); |
| 3357 | IJ.selectWindow(id); |
| 3358 | interp.getRightParen(); |
| 3359 | } |
| 3360 | resetImage(); |
| 3361 | } |
| 3362 | |
| 3363 | void selectImage(String title) { |
| 3364 | if (Interpreter.isBatchMode()) { |
no test coverage detected