aboutsummaryrefslogtreecommitdiffstats
path: root/lint/cli
diff options
context:
space:
mode:
authorTor Norbye <tnorbye@google.com>2012-08-27 14:39:27 -0700
committerandroid code review <noreply-gerritcodereview@google.com>2012-08-27 14:39:28 -0700
commite2508611cdb5b420ff03535bef9018f7276544d6 (patch)
treea3942470142fcfee1b0a46cdee61e88cfec53e48 /lint/cli
parentefee44332ac860ea2d4a8be5695fde016765827c (diff)
parentaddbd7110d87e9f48d854e5ba6a729359110ada8 (diff)
downloadsdk-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.java10
-rw-r--r--lint/cli/src/com/android/tools/lint/hololike.css7
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;