Changeset 12987 in josm for trunk/src/org/openstreetmap/josm/spi/preferences/IPreferences.java

Timestamp:

2017-10-12T16:02:15+02:00 (7 years ago)

Author:

bastiK

Message:

see #15410 - change preferences scheme for named colors - makes runtime color name registry obsolete

File:

• trunk/src/org/openstreetmap/josm/spi/preferences/IPreferences.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/spi/preferences/IPreferences.java

@@ -5 +5 @@
 import java.util.List;
 import java.util.Map;
+import java.util.Set;
 
 /**
@@ -234 +235 @@
     boolean putListOfMaps(String key, List<Map<String, String>> value);
 
+    /**
+     * Get the set of all keys that are mapped to a value in this preferences.
+     * @return the set of all keys
+     */
+    Set<String> getKeySet();
 }