(String message)
| 136 | } |
| 137 | |
| 138 | public void error(String message) { |
| 139 | changeState(ERR); |
| 140 | this.message = message; |
| 141 | if (copyErrorButton != null) { |
| 142 | copyErrorButton.setVisible(true); |
| 143 | } |
| 144 | repaint(); |
| 145 | } |
| 146 | |
| 147 | public void edit(String message, String dflt) { |
| 148 | changeState(EDIT); |
no test coverage detected