Changeset 14122 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java

Timestamp:

2018-08-11T18:18:58+02:00 (6 years ago)

Author:

Don-vip

Message:

see #15229 - minor preferences refactoring

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/Preferences.java

@@ -693 +693 @@
     }
 
-    /**
-     * Gets a map of all settings that are currently stored
-     * @return The settings
-     */
+    @Override
     public Map<String, Setting<?>> getAllSettings() {
         return new TreeMap<>(settingsMap);