rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

rustdoc: move the space at the end of where clauses

Browse Source 
...so that we don't indent the next line by one extra space
This commit is contained in:
QuietMisdreavus
2017-04-06 18:36:14 -05:00
parent ae0e45c028
commit bfd01b7f40
1 changed files with 11 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/librustdoc/html/format.rs
View File

@@ -237,15 +237,23 @@ impl<'a> fmt::Display for WhereClause<'a> {
clause.push(','); clause.push(',');
} }
} }
if end_newline {
//add a space so stripping <br> tags and breaking spaces still renders properly
if f.alternate() {
clause.push(' ');
} else {
clause.push_str("&nbsp;");
}
}
if !f.alternate() { if !f.alternate() {
clause.push_str("</span>"); clause.push_str("</span>");
let padding = repeat("&nbsp;").take(indent + 4).collect::<String>(); let padding = repeat("&nbsp;").take(indent + 4).collect::<String>();
clause = clause.replace("<br>", &format!("<br>{}", padding)); clause = clause.replace("<br>", &format!("<br>{}", padding));
clause.insert_str(0, &repeat("&nbsp;").take(indent.saturating_sub(1)) clause.insert_str(0, &repeat("&nbsp;").take(indent.saturating_sub(1))
.collect::<String>()); .collect::<String>());
if end_newline { if !end_newline {
clause.push(' ');
} else {
clause.insert_str(0, "<br>"); clause.insert_str(0, "<br>");
} }
} }