()
| 138 | } |
| 139 | |
| 140 | public void deleteMessage() { |
| 141 | archive.delete(cursor); |
| 142 | messages.removeAllElements(); |
| 143 | if (cursor > 0) { |
| 144 | moveCursorTo(cursor - 1); |
| 145 | } |
| 146 | setRotator(); |
| 147 | redraw(); // Need? |
| 148 | } |
| 149 | |
| 150 | public void keyClear() { |
| 151 | if (getItemCount() > 0) { |
no test coverage detected