()
| 5242 | } |
| 5243 | |
| 5244 | private String copyResults() { |
| 5245 | interp.getParens(); |
| 5246 | if (!IJ.isResultsWindow()) |
| 5247 | interp.error("No results"); |
| 5248 | TextPanel tp = IJ.getTextPanel(); |
| 5249 | if (tp!=null) |
| 5250 | tp.copySelection(); |
| 5251 | return null; |
| 5252 | } |
| 5253 | |
| 5254 | private String resetBuffer() { |
| 5255 | interp.getParens(); |
no test coverage detected