Changeset 10242 in josm for trunk/src/org/openstreetmap/josm/gui/preferences
- Timestamp:
- 2016-05-17T13:51:23+02:00 (9 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui/preferences
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java
r10235 r10242 1514 1514 if (entry == null) 1515 1515 return null; 1516 StringBuilder s = new StringBuilder( "<html><b>");1516 StringBuilder s = new StringBuilder(128).append("<html><b>"); 1517 1517 if (entry.title != null) { 1518 1518 s.append(entry.title).append("</b> <span color=\"gray\">"); -
trunk/src/org/openstreetmap/josm/gui/preferences/projection/CustomProjectionChoice.java
r9059 r10242 164 164 165 165 private static JComponent build() { 166 StringBuilder s = new StringBuilder( );166 StringBuilder s = new StringBuilder(1024); 167 167 s.append("<b>+proj=...</b> - <i>").append(tr("Projection name")) 168 168 .append("</i><br> ").append(tr("Supported values:")).append(' ')
Note:
See TracChangeset
for help on using the changeset viewer.