diff options
author | Tor Norbye <tnorbye@google.com> | 2012-08-27 14:39:27 -0700 |
---|---|---|
committer | android code review <noreply-gerritcodereview@google.com> | 2012-08-27 14:39:28 -0700 |
commit | e2508611cdb5b420ff03535bef9018f7276544d6 (patch) | |
tree | a3942470142fcfee1b0a46cdee61e88cfec53e48 /lint/cli | |
parent | efee44332ac860ea2d4a8be5695fde016765827c (diff) | |
parent | addbd7110d87e9f48d854e5ba6a729359110ada8 (diff) | |
download | sdk-e2508611cdb5b420ff03535bef9018f7276544d6.zip sdk-e2508611cdb5b420ff03535bef9018f7276544d6.tar.gz sdk-e2508611cdb5b420ff03535bef9018f7276544d6.tar.bz2 |
Merge "Use simple markup for bold and monospace in lint issues"
Diffstat (limited to 'lint/cli')
-rw-r--r-- | lint/cli/src/com/android/tools/lint/HtmlReporter.java | 10 | ||||
-rw-r--r-- | lint/cli/src/com/android/tools/lint/hololike.css | 7 |
2 files changed, 10 insertions, 7 deletions
diff --git a/lint/cli/src/com/android/tools/lint/HtmlReporter.java b/lint/cli/src/com/android/tools/lint/HtmlReporter.java index 64eb912..8fddece 100644 --- a/lint/cli/src/com/android/tools/lint/HtmlReporter.java +++ b/lint/cli/src/com/android/tools/lint/HtmlReporter.java @@ -368,8 +368,8 @@ public class HtmlReporter extends Reporter { } mWriter.write("</div>\n"); //$NON-NLS-1$ mWriter.write("<div class=\"explanation\">\n"); //$NON-NLS-1$ - String explanation = issue.getExplanation(); - appendEscapedText(explanation, true /* preserve newlines*/); + String explanationHtml = issue.getExplanationAsHtml(); + mWriter.write(explanationHtml); mWriter.write("\n</div>\n"); //$NON-NLS-1$; if (issue.getMoreInfo() != null) { mWriter.write("<br/>"); //$NON-NLS-1$ @@ -400,7 +400,7 @@ public class HtmlReporter extends Reporter { mWriter.write("Suppressing Warnings and Errors"); mWriter.write("<div class=\"categorySeparator\"></div>\n");//$NON-NLS-1$ mWriter.write("</div>\n"); //$NON-NLS-1$ - appendEscapedText(Main.getSuppressHelp(), true /* preserve newlines*/); + appendEscapedText(Main.getSuppressHelp()); mWriter.write('\n'); } @@ -725,10 +725,6 @@ public class HtmlReporter extends Reporter { } private void appendEscapedText(String textValue) throws IOException { - appendEscapedText(textValue, false); - } - - private void appendEscapedText(String textValue, boolean preserveNewlines) throws IOException { for (int i = 0, n = textValue.length(); i < n; i++) { char c = textValue.charAt(i); if (c == '<') { diff --git a/lint/cli/src/com/android/tools/lint/hololike.css b/lint/cli/src/com/android/tools/lint/hololike.css index 4f1fdfa..b12611f 100644 --- a/lint/cli/src/com/android/tools/lint/hololike.css +++ b/lint/cli/src/com/android/tools/lint/hololike.css @@ -24,6 +24,13 @@ body { .explanation { margin-top: 10px; } +.explanation b { + color: #ffbbbb; +} +.explanation code { + color: #bebebe; + font-family: 'Roboto', Sans-Serif; +} pre { background-color: #282828; margin: 5px 0px 5px 5px; |