Changeset 12987 in josm for trunk/src/org/openstreetmap/josm/spi/preferences/MemoryPreferences.java
- Timestamp:
- 2017-10-12T16:02:15+02:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/spi/preferences/MemoryPreferences.java
r12906 r12987 2 2 package org.openstreetmap.josm.spi.preferences; 3 3 4 import java.util.Collections; 4 5 import java.util.HashMap; 5 6 import java.util.Map; 6 7 import java.util.Objects; 8 import java.util.Set; 7 9 8 10 /** … … 41 43 42 44 @Override 45 public Set<String> getKeySet() { 46 return Collections.unmodifiableSet(settings.keySet()); 47 } 48 49 @Override 43 50 public void addPreferenceChangeListener(PreferenceChangedListener listener) { 44 51 // do nothing
Note:
See TracChangeset
for help on using the changeset viewer.