Calls draw to draw the image and also repaints the image window to force the information displayed above the image (dimension, type, size) to be updated.
()
| 497 | image window to force the information displayed above |
| 498 | the image (dimension, type, size) to be updated. */ |
| 499 | public void repaintWindow() { |
| 500 | if (win!=null) { |
| 501 | draw(); |
| 502 | win.repaint(); |
| 503 | } |
| 504 | } |
| 505 | |
| 506 | /** Calls updateAndDraw to update from the pixel data |
| 507 | and draw the image, and also repaints the image |
no test coverage detected