()
| 4650 | } |
| 4651 | |
| 4652 | String selectionName() { |
| 4653 | Roi roi = getImage().getRoi(); |
| 4654 | String name = null; |
| 4655 | if (roi==null) |
| 4656 | interp.error("No selection"); |
| 4657 | else |
| 4658 | name = roi.getName(); |
| 4659 | return name!=null?name:""; |
| 4660 | } |
| 4661 | |
| 4662 | String openFile() { |
| 4663 | if (writer!=null) { |
no test coverage detected