Changeset 8461 in josm for trunk/src/org/openstreetmap/josm/tools
- Timestamp:
- 2015-06-03T14:05:30+02:00 (10 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/tools
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/ColorHelper.java
r8404 r8461 20 20 */ 21 21 public static Color html2color(String html) { 22 if ( html.length() > 0&& html.charAt(0) == '#')22 if (!html.isEmpty() && html.charAt(0) == '#') 23 23 html = html.substring(1); 24 24 if (html.length() == 3) { -
trunk/src/org/openstreetmap/josm/tools/PlatformHookOsx.java
r8377 r8461 292 292 } 293 293 result += name; 294 if (sc != null && sc.getKeyText(). length() != 0) {294 if (sc != null && !sc.getKeyText().isEmpty()) { 295 295 result += " "; 296 296 if (canHtml) { -
trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java
r8404 r8461 147 147 result += "<html>"; 148 148 result += name; 149 if (sc != null && sc.getKeyText(). length() != 0) {149 if (sc != null && !sc.getKeyText().isEmpty()) { 150 150 result += " "; 151 151 result += "<font size='-2'>"; -
trunk/src/org/openstreetmap/josm/tools/TextTagParser.java
r8443 r8461 85 85 esc = true; 86 86 } else if (c == '\"' && !quotesStarted) { // opening " 87 if (s.toString().trim(). length()>0) { // we had ||some text"||87 if (!s.toString().trim().isEmpty()) { // we had ||some text"|| 88 88 s.append(c); // just add ", not open 89 89 } else {
Note:
See TracChangeset
for help on using the changeset viewer.