Changeset 10003 in josm for trunk/src/org/openstreetmap/josm/tools
- Timestamp:
- 2016-03-17T02:02:14+01:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java
r9980 r10003 158 158 result.append("<html>").append(name); 159 159 if (sc != null && !sc.getKeyText().isEmpty()) { 160 result.append(' ') 161 .append("<font size='-2'>") 162 .append('(').append(sc.getKeyText()).append(')') 163 .append("</font>"); 160 result.append(" <font size='-2'>(") 161 .append(sc.getKeyText()) 162 .append(")</font>"); 164 163 } 165 164 return result.append(" </html>").toString();
Note:
See TracChangeset
for help on using the changeset viewer.