Changeset 14707 in josm

Timestamp:

2019-01-19T22:23:34+01:00 (5 years ago)

Author:

simon04

Message:

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

File:

• trunk/src/org/openstreetmap/josm/actions/AboutAction.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/actions/AboutAction.java

@@ -197 +197 @@
             dirLabel.setEditable(false);
         } else {
-            dirLabel.setText(tr("(unset)"));
+            dirLabel.setText("<" + tr("unset") + ">");
             dirLabel.setFont(dirLabel.getFont().deriveFont(Font.ITALIC));
+            dirLabel.setEditable(false);
         }
         inst.add(symbol, GBC.std().insets(5, 0, 0, 0));