| 329 | static private ZippedTheme zipTheme; |
| 330 | |
| 331 | static protected void init() { |
| 332 | zipTheme = openZipTheme(); |
| 333 | |
| 334 | try { |
| 335 | loadFromResource(table, THEME_DIR + THEME_FILE_NAME); |
| 336 | } catch (Exception te) { |
| 337 | Base.showError(null, tr("Could not read color theme settings.\n" |
| 338 | + "You'll need to reinstall Arduino."), |
| 339 | te); |
| 340 | } |
| 341 | |
| 342 | // other things that have to be set explicitly for the defaults |
| 343 | setColor("run.window.bgcolor", SystemColor.control); |
| 344 | |
| 345 | // clone the hash table |
| 346 | defaults = new PreferencesMap(table); |
| 347 | } |
| 348 | |
| 349 | static private ZippedTheme openZipTheme() { |
| 350 | refreshAvailableThemes(); |