Changeset 6524 in josm for trunk/src/org/openstreetmap/josm/gui/MainApplication.java
- Timestamp:
- 2013-12-24T21:12:40+01:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r6523 r6524 480 480 } 481 481 482 private static String getHtmlList(Collection<String> set) {483 StringBuilder sb = new StringBuilder("<ul>");484 for (String s : set) {485 sb.append("<li>"+s+"</li>");486 }487 return sb.append("</ul>").toString();488 }489 490 482 private void handleProxyErrors() { 491 483 if (proxySelector.hasErrors()) { … … 497 489 ed.setIcon(JOptionPane.WARNING_MESSAGE); 498 490 ed.setContent(tr("JOSM tried to access the following resources:")+ 499 "<br>"+ getHtmlList(proxySelector.getErrorResources())+491 "<br>"+Utils.joinAsHtmlUnorderedList(proxySelector.getErrorResources())+ 500 492 tr("but <b>failed</b> to do so, because of the following proxy errors:")+ 501 "<br>"+ getHtmlList(proxySelector.getErrorMessages())+493 "<br>"+Utils.joinAsHtmlUnorderedList(proxySelector.getErrorMessages())+ 502 494 tr("Would you like to change your proxy settings now ?") 503 495 );
Note:
See TracChangeset
for help on using the changeset viewer.