Called when this tab is made the current one, or when it is the current one and the window is activated.
()
| 348 | * and the window is activated. |
| 349 | */ |
| 350 | public void activated() { |
| 351 | // When external editing is enabled, reload the text whenever we get activated. |
| 352 | if (external) { |
| 353 | reload(); |
| 354 | } |
| 355 | } |
| 356 | |
| 357 | /** |
| 358 | * Reload the contents of our file. |
no test coverage detected