aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Ulf Adams <ulfjack@google.com>2016-06-23 11:42:18 +0000
committerGravatar Philipp Wollermann <philwo@google.com>2016-06-23 13:54:10 +0000
commit65c3e36d41f5682a2c3cf6e77c88bd08a86b9670 (patch)
treee788c03a7b8f8a04a68ed448b99e8928f61b3cdc
parent39d9452995abf1dabe4023232ca084ba498b0714 (diff)
Fix expansion rendering in help html output.
-- MOS_MIGRATED_REVID=125665042
-rw-r--r--src/main/java/com/google/devtools/common/options/OptionsUsage.java9
1 files changed, 6 insertions, 3 deletions
diff --git a/src/main/java/com/google/devtools/common/options/OptionsUsage.java b/src/main/java/com/google/devtools/common/options/OptionsUsage.java
index 2d1c793e1d..111a772492 100644
--- a/src/main/java/com/google/devtools/common/options/OptionsUsage.java
+++ b/src/main/java/com/google/devtools/common/options/OptionsUsage.java
@@ -164,12 +164,15 @@ class OptionsUsage {
}
if (annotation.expansion().length > 0) {
usage.append("<br/>\n");
- StringBuilder expandsMsg = new StringBuilder("Expands to:");
+ StringBuilder expandsMsg = new StringBuilder("Expands to:<br/>\n");
for (String exp : annotation.expansion()) {
// TODO(ulfjack): Can we link to the expanded flags here?
- expandsMsg.append(" <code>").append(exp).append("</code>");
+ expandsMsg
+ .append("&nbsp;&nbsp;<code>")
+ .append(escaper.escape(exp))
+ .append("</code><br/>\n");
}
- usage.append(paragraphFill(escaper.escape(expandsMsg.toString()), 0, 80)); // (indent, width)
+ usage.append(expandsMsg.toString()); // (indent, width)
usage.append('\n');
}
usage.append("</dd>\n");