()
| 540 | } |
| 541 | |
| 542 | protected void clearSearch() { |
| 543 | cancelSearch(); |
| 544 | searchField.setText(""); |
| 545 | searchStatus.setText(""); |
| 546 | searchStatusPanel.validate(); |
| 547 | validate(); |
| 548 | hits = null; |
| 549 | redraw(); |
| 550 | } |
| 551 | |
| 552 | public void search(int direction) { |
| 553 | if (searchField.isEnabled()) { |
no test coverage detected