()
| 1224 | } |
| 1225 | |
| 1226 | private static void updateStatus() { |
| 1227 | ImagePlus imp = WindowManager.getCurrentImage(); |
| 1228 | if (imp!=null) { |
| 1229 | Roi roi = imp.getRoi(); |
| 1230 | if (roi!=null && imp.getCalibration().scaled()) { |
| 1231 | roi.showStatus(); |
| 1232 | } |
| 1233 | } |
| 1234 | } |
| 1235 | |
| 1236 | public static void setInputEvent(InputEvent e) { |
| 1237 | altDown = e.isAltDown(); |
no test coverage detected