(String title, String text)
| 494 | } |
| 495 | |
| 496 | public void display(String title, String text) { |
| 497 | ta.selectAll(); |
| 498 | ta.replaceRange(text, ta.getSelectionStart(), ta.getSelectionEnd()); |
| 499 | ta.setCaretPosition(0); |
| 500 | setWindowTitle(title); |
| 501 | changes = false; |
| 502 | if (IJ.getInstance()!=null) |
| 503 | show(); |
| 504 | WindowManager.setWindow(this); |
| 505 | } |
| 506 | |
| 507 | @AstroImageJ(reason = "Add save listener") |
| 508 | public void addSaveListener(Runnable r) { |
no test coverage detected