Reload the contents of our file.
()
| 358 | * Reload the contents of our file. |
| 359 | */ |
| 360 | public void reload() { |
| 361 | String text; |
| 362 | try { |
| 363 | text = file.load(); |
| 364 | } catch (IOException e) { |
| 365 | System.err.println(I18n.format("Warning: Failed to reload file: \"{0}\"", |
| 366 | file.getFileName())); |
| 367 | return; |
| 368 | } |
| 369 | setText(text); |
| 370 | setModified(false); |
| 371 | } |
| 372 | |
| 373 | /** |
| 374 | * Get the TextArea object for use (not recommended). This should only |
no test coverage detected