()
| 1012 | } |
| 1013 | |
| 1014 | private synchronized void setStackNull() { |
| 1015 | if (oneSliceStack && stack!=null && stack.size()>0) { |
| 1016 | String label = stack.getSliceLabel(1); |
| 1017 | setProp("Slice_Label", label); |
| 1018 | } |
| 1019 | stack = null; |
| 1020 | oneSliceStack = false; |
| 1021 | } |
| 1022 | |
| 1023 | /** Saves this image's FileInfo so it can be later |
| 1024 | retieved using getOriginalFileInfo(). */ |
no test coverage detected