diff options
Diffstat (limited to 'org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipsPreferences.java')
| -rw-r--r-- | org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipsPreferences.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipsPreferences.java b/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipsPreferences.java index 8f5508d38..f97a5a701 100644 --- a/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipsPreferences.java +++ b/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipsPreferences.java @@ -132,10 +132,11 @@ public class TipsPreferences extends AbstractPreferenceInitializer { public static IStatus saveReadState(Map<String, List<Integer>> pReadTips) { try { File stateLocation = getStateLocation(); - for (String child : pReadTips.keySet()) { + for (Map.Entry<String, List<Integer>> entry : pReadTips.entrySet()) { + String child = entry.getKey(); PreferenceStore store = new PreferenceStore( new File(stateLocation, child.trim() + ".state").getAbsolutePath()); //$NON-NLS-1$ - pReadTips.get(child).forEach(value -> store.setValue(value.toString(), value.intValue())); + entry.getValue().forEach(value -> store.setValue(value.toString(), value.intValue())); store.setValue("provider", child); //$NON-NLS-1$ store.save(); } |