(Overlay overlay)
| 2313 | |
| 2314 | // Used by the FileSaver and RoiEncoder to save overlay settings. */ |
| 2315 | public void setPrototypeOverlay(Overlay overlay) { |
| 2316 | prototypeOverlay = new Overlay(); |
| 2317 | prototypeOverlay.drawLabels(overlay.getDrawLabels()); |
| 2318 | prototypeOverlay.drawNames(overlay.getDrawNames()); |
| 2319 | prototypeOverlay.drawBackgrounds(overlay.getDrawBackgrounds()); |
| 2320 | prototypeOverlay.setLabelColor(overlay.getLabelColor()); |
| 2321 | prototypeOverlay.setLabelFont(overlay.getLabelFont(), overlay.scalableLabels()); |
| 2322 | } |
| 2323 | |
| 2324 | // Used by the FileOpener and RoiDecoder to restore overlay settings. */ |
| 2325 | public Overlay getPrototypeOverlay() { |
no test coverage detected