(Roi roi)
| 4492 | } |
| 4493 | |
| 4494 | void updateRoi(Roi roi) { |
| 4495 | if (shiftKeyDown || altKeyDown) |
| 4496 | roi.update(shiftKeyDown, altKeyDown); |
| 4497 | shiftKeyDown = altKeyDown = false; |
| 4498 | } |
| 4499 | |
| 4500 | String doFile() { |
| 4501 | interp.getToken(); |
no test coverage detected