This commit is contained in:
Ayaz Hafiz 2022-12-03 23:43:47 -06:00
parent e296d35bcd
commit d660016b53
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
4 changed files with 8 additions and 9 deletions

View file

@ -102,12 +102,11 @@ fn format_sourced_doc<'d>(f: &'d Arena<'d>, line: usize, source: &str, doc: Doc<
fn format_header<'d>(f: &'d Arena<'d>, title: &str) -> Doc<'d> {
let title_width = title.len() + 4;
let header = f.text(format!(
f.text(format!(
"── {} {}",
title,
"".repeat(HEADER_WIDTH - title_width)
));
header
))
}
fn format_kind<'a, 'd, I>(