Changeset 15185 in josm


Ignore:
Timestamp:
2019-06-18T23:40:26+02:00 (4 weeks ago)
Author:
Don-vip
Message:

fix #17823 - increase statusbar.decimal-format precision, for those crazy cartographers who do high-precision mapping

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/MapStatus.java

    r14977 r15185  
    123123    Helpful, Destroyable, PreferenceChangedListener, SoMChangeListener, DataSelectionListener, DataSetListener, ZoomChangeListener {
    124124
    125     private final DecimalFormat DECIMAL_FORMAT = new DecimalFormat(Config.getPref().get("statusbar.decimal-format", "0.0"));
     125    private final DecimalFormat DECIMAL_FORMAT = new DecimalFormat(Config.getPref().get("statusbar.decimal-format", "0.00"));
    126126    private static final AbstractProperty<Double> DISTANCE_THRESHOLD = new DoubleProperty("statusbar.distance-threshold", 0.01).cached();
    127127
Note: See TracChangeset for help on using the changeset viewer.