Handle whether the tiny red error indicator is shown near the error button at the bottom of the PDE
(boolean hasErrors)
| 2350 | * the error button at the bottom of the PDE |
| 2351 | */ |
| 2352 | public void updateErrorToggle(boolean hasErrors) { |
| 2353 | if (errorTable != null) { |
| 2354 | footer.setNotification(errorTable.getParent(), hasErrors); |
| 2355 | } |
| 2356 | } |
| 2357 | |
| 2358 | |
| 2359 | // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
no test coverage detected