Changeset 14648 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/display/DrawingPreference.java

Timestamp:

2019-01-05T22:03:23+01:00 (5 years ago)

Author:

simon04

Message:

fix #17067 - Duplicate settings for display of hatching area

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/display/DrawingPreference.java (modified) (4 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/display/DrawingPreference.java

@@ -14 +14 @@
 
 import org.openstreetmap.josm.actions.ExpertToggleAction;
+import org.openstreetmap.josm.data.preferences.BooleanProperty;
 import org.openstreetmap.josm.gui.autofilter.AutoFilterManager;
 import org.openstreetmap.josm.gui.autofilter.AutoFilterRule;
@@ -41 +42 @@
         }
     }
+
+    /**
+     * Property controlling whether to draw boundaries of downloaded data
+     * @since 14648
+     */
+    public static final BooleanProperty SOURCE_BOUNDS_PROP = new BooleanProperty("draw.data.downloaded_area", true);
 
     private GPXSettingsPanel gpxPanel;
@@ -107 +114 @@
         // downloaded area
         sourceBounds.setToolTipText(tr("Draw the boundaries of data loaded from the server."));
-        sourceBounds.setSelected(Config.getPref().getBoolean("draw.data.downloaded_area", true));
+        sourceBounds.setSelected(SOURCE_BOUNDS_PROP.get());
 
         // virtual nodes
@@ -210 +217 @@
         Config.getPref().putBoolean("draw.segment.order_number", segmentOrderNumber.isSelected());
         Config.getPref().putBoolean("draw.segment.order_number.on_selected", segmentOrderNumberOnSelectedWay.isSelected());
-        Config.getPref().putBoolean("draw.data.downloaded_area", sourceBounds.isSelected());
+        SOURCE_BOUNDS_PROP.put(sourceBounds.isSelected());
         Config.getPref().putBoolean("draw.data.inactive_color", inactive.isSelected());
         Config.getPref().putBoolean("mappaint.use-antialiasing", useAntialiasing.isSelected());