Changeset 16111 in josm


Ignore:
Timestamp:
2020-03-10T23:31:54+01:00 (3 months ago)
Author:
Don-vip
Message:

see #18856 - allow to disable numbering format overriding with advanced property "override.numbering.format"

Location:
trunk/src/org/openstreetmap/josm
Files:
2 edited

Legend:

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

    r16109 r16111  
    115115                }),
    116116            new InitializationTask(tr("Initializing internal traffic data"), RightAndLefthandTraffic::initialize),
    117             new InitializationTask(tr("Initializing numbering format"), I18n::initializeNumberingFormat),
     117            new InitializationTask(tr("Initializing numbering format"), () -> {
     118                if (Config.getPref().getBoolean("override.numbering.format", true)) {
     119                    I18n.initializeNumberingFormat();
     120                }
     121            }),
    118122            new InitializationTask(tr("Initializing validator"), OsmValidator::initialize),
    119123            new InitializationTask(tr("Initializing presets"), TaggingPresets::initialize),
  • trunk/src/org/openstreetmap/josm/tools/I18n.java

    r16109 r16111  
    344344
    345345    /**
    346      * Espaces the special i18n characters <code>'{}</code> with quotes.
     346     * Escapes the special i18n characters <code>'{}</code> with quotes.
    347347     * @param msg unescaped string
    348348     * @return escaped string
Note: See TracChangeset for help on using the changeset viewer.