()
| 4631 | } |
| 4632 | |
| 4633 | String openDialog() { |
| 4634 | String title = getStringArg(); |
| 4635 | OpenDialog od = new OpenDialog(title, null); |
| 4636 | String directory = od.getDirectory(); |
| 4637 | String name = od.getFileName(); |
| 4638 | if (name==null) |
| 4639 | return ""; |
| 4640 | else |
| 4641 | return directory+name; |
| 4642 | } |
| 4643 | |
| 4644 | void setSelectionName() { |
| 4645 | Roi roi = getImage().getRoi(); |
no test coverage detected