Handle whether the tiny red error indicator is shown near the error button at the bottom of the PDE
(boolean hasErrors)
| 2875 | * the error button at the bottom of the PDE |
| 2876 | */ |
| 2877 | public void updateErrorToggle(boolean hasErrors) { |
| 2878 | if (errorTable != null) { |
| 2879 | footer.setNotification(errorTable.getParent(), hasErrors); |
| 2880 | } |
| 2881 | } |
| 2882 | |
| 2883 | |
| 2884 | // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
no test coverage detected