(int direction)
| 550 | } |
| 551 | |
| 552 | public void search(int direction) { |
| 553 | if (searchField.isEnabled()) { |
| 554 | cancelSearch(); |
| 555 | searchField.setEnabled(false); |
| 556 | searchNextButton.setEnabled(false); |
| 557 | searchPrevButton.setEnabled(false); |
| 558 | pageCanvas.requestFocusInWindow(); |
| 559 | doc.search(searchField.getText(), direction, new ViewerCore.OnException() { |
| 560 | public void run(Throwable t) { |
| 561 | exception(t); |
| 562 | } |
| 563 | }); |
| 564 | } |
| 565 | } |
| 566 | |
| 567 | protected void render() { |
| 568 | if (bbox == null) |
no test coverage detected