(boolean found)
| 414 | |
| 415 | |
| 416 | protected void setFound(boolean found) { |
| 417 | replaceButton.setEnabled(found); |
| 418 | replaceAndFindButton.setEnabled(found); |
| 419 | } |
| 420 | |
| 421 | /** |
| 422 | * Replace the current selection with whatever's in the |
no outgoing calls
no test coverage detected