Changeset 16297 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2020-04-14T08:12:40+02:00 (4 years ago)

Author:

GerdP

Message:

see #18847, #19076: Changing value of curves.circlearc.angle-separation value in advanced preferences no longer appears to have any effect.

• add curves.circlearc.angle-separation to the list of obsolete preference keys

File:

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

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

@@ -88 +88 @@
         "remotecontrol.https.enabled", /* remove entry after Dec. 2019 */
         "remotecontrol.https.port", /* remove entry after Dec. 2019 */
+        "curves.circlearc.angle-separation" // see #19076
     };