Changeset 8848 in josm for trunk/src/org/openstreetmap/josm/tools
- Timestamp:
- 2015-10-10T14:08:30+02:00 (11 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/tools
- Files:
-
- 2 edited
-
PlatformHookOsx.java (modified) (1 diff)
-
PlatformHookUnixoid.java (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/PlatformHookOsx.java
r8846 r8848 289 289 canHtml = false; 290 290 } 291 String result = "";291 StringBuilder result = new StringBuilder(); 292 292 if (canHtml) { 293 result +="<html>";294 } 295 result += name;293 result.append("<html>"); 294 } 295 result.append(name); 296 296 if (sc != null && !sc.getKeyText().isEmpty()) { 297 result += ' ';297 result.append(' '); 298 298 if (canHtml) { 299 result +="<font size='-2'>";300 } 301 result += '('+sc.getKeyText()+')';299 result.append("<font size='-2'>"); 300 } 301 result.append('(').append(sc.getKeyText()).append(')'); 302 302 if (canHtml) { 303 result +="</font>";303 result.append("</font>"); 304 304 } 305 305 } 306 306 if (canHtml) { 307 result +=" </html>";308 } 309 return result; 307 result.append(" </html>"); 308 } 309 return result.toString(); 310 310 } 311 311 -
trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java
r8846 r8848 149 149 @Override 150 150 public String makeTooltip(String name, Shortcut sc) { 151 String result = ""; 152 result += "<html>"; 153 result += name; 151 StringBuilder result = new StringBuilder(); 152 result.append("<html>").append(name); 154 153 if (sc != null && !sc.getKeyText().isEmpty()) { 155 result += ' ';156 result +="<font size='-2'>";157 result += '('+sc.getKeyText()+')';158 result +="</font>";159 } 160 return result +" </html>";154 result.append(' ') 155 .append("<font size='-2'>") 156 .append('(').append(sc.getKeyText()).append(')') 157 .append("</font>"); 158 } 159 return result.append(" </html>").toString(); 161 160 } 162 161
Note:
See TracChangeset
for help on using the changeset viewer.
