Changeset 14707 in josm


Ignore:
Timestamp:
2019-01-19T22:23:34+01:00 (4 weeks ago)
Author:
simon04
Message:

see #17192 - Harmonize "<unset>" with advanced preference

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/actions/AboutAction.java

    r14706 r14707  
    197197            dirLabel.setEditable(false);
    198198        } else {
    199             dirLabel.setText(tr("(unset)"));
     199            dirLabel.setText("<" + tr("unset") + ">");
    200200            dirLabel.setFont(dirLabel.getFont().deriveFont(Font.ITALIC));
     201            dirLabel.setEditable(false);
    201202        }
    202203        inst.add(symbol, GBC.std().insets(5, 0, 0, 0));
Note: See TracChangeset for help on using the changeset viewer.