()
| 1199 | } |
| 1200 | |
| 1201 | void updateDisplay() { |
| 1202 | if (updateNeeded && WindowManager.getImageCount()>0) { |
| 1203 | ImagePlus imp = getImage(); |
| 1204 | imp.updateAndDraw(); |
| 1205 | updateNeeded = false; |
| 1206 | } |
| 1207 | } |
| 1208 | |
| 1209 | void drawString() { |
| 1210 | interp.getLeftParen(); |
no test coverage detected