Changeset 10824 in josm for trunk/src/org/openstreetmap/josm/data/preferences/PreferencesWriter.java

Timestamp:

2016-08-17T09:18:31+02:00 (8 years ago)

Author:

Don-vip

Message:

see #13309 - Caching and notifying preferences (patch by michael2402) - gsoc-core

File:

• trunk/src/org/openstreetmap/josm/data/preferences/PreferencesWriter.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/data/preferences/PreferencesWriter.java

@@ -6 +6 @@
 import java.util.List;
 import java.util.Map;
+import java.util.stream.Stream;
 
 import org.openstreetmap.josm.Main;
@@ -38 +39 @@
      */
     public void write(Collection<Map.Entry<String, Setting<?>>> settings) {
+        write(settings.stream());
+    }
+
+    /**
+     * Write preferences.
+     *
+     * @param settings preferences settings to write as stream.
+     */
+    public void write(Stream<Map.Entry<String, Setting<?>>> settings) {
         out.write(String.format("<?xml version=\"1.0\" encoding=\"UTF-8\"?>%n"));
         String rootElement = defaults ? "preferences-defaults" : "preferences";
@@ -45 +55 @@
         }
         out.write(String.format(" version='%d'>%n", Version.getInstance().getVersion()));
-        for (Map.Entry<String, Setting<?>> e : settings) {
+        settings.forEachOrdered(e -> {
             setKey(e.getKey());
             e.getValue().visit(this);
-        }
+        });
         out.write(String.format("</%s>%n", rootElement));
     }