Read and apply new values from the preferences, either because the app is just starting up, or the user just finished messing with things in the Preferences window.
()
| 557 | * with things in the Preferences window. |
| 558 | */ |
| 559 | public void applyPreferences() { |
| 560 | // Even though this is only updating the theme (colors, icons), |
| 561 | // subclasses use this to apply other preferences. |
| 562 | // For instance, Java Mode applies changes to error checking. |
| 563 | updateTheme(); |
| 564 | } |
| 565 | |
| 566 | |
| 567 | public void updateTheme() { |
no test coverage detected