()
| 98 | } |
| 99 | |
| 100 | public static void saveTheme() { |
| 101 | Preferences root = Preferences.userRoot().node(userPrefFolder); |
| 102 | |
| 103 | try { |
| 104 | root.put(themeKey, getTheme().getId()); |
| 105 | root.flush(); |
| 106 | } catch (BackingStoreException e) { |
| 107 | // ignored |
| 108 | } |
| 109 | } |
| 110 | |
| 111 | public static void saveAsLast() { |
| 112 | Preferences root = Preferences.userRoot().node(userPrefFolder); |