(String needle, Location page)
| 2029 | searchStatusPanel.validate(); |
| 2030 | } |
| 2031 | public void onSearchStop(String needle, Location page) { |
| 2032 | searchField.setEnabled(true); |
| 2033 | searchNextButton.setEnabled(true); |
| 2034 | searchPrevButton.setEnabled(true); |
| 2035 | if (page != null) { |
| 2036 | doc.gotoLocation(page, null); |
| 2037 | searchStatus.setText(""); |
| 2038 | } else if (needle != null) |
| 2039 | searchStatus.setText("Search text not found."); |
| 2040 | else |
| 2041 | searchStatus.setText(""); |
| 2042 | searchStatusPanel.validate(); |
| 2043 | pageCanvas.requestFocusInWindow(); |
| 2044 | } |
| 2045 | public void onSearchCancelled() { |
| 2046 | searchField.setEnabled(true); |
| 2047 | searchNextButton.setEnabled(true); |
nothing calls this directly
no test coverage detected