mirror of
https://github.com/openharmony/third_party_rust_codespan.git
synced 2026-07-20 19:53:16 -04:00
Use better box drawing characters
This commit is contained in:
@@ -70,11 +70,11 @@ where
|
||||
// File name
|
||||
//
|
||||
// ```
|
||||
// - <test>:2:9
|
||||
// ┌╴ <test>:2:9
|
||||
// ```
|
||||
|
||||
writer.set_color(&gutter_spec)?;
|
||||
write!(writer, "{: >width$} - ", "", width = gutter_padding)?;
|
||||
write!(writer, "{: >width$} ┌╴ ", "", width = gutter_padding)?;
|
||||
writer.reset()?;
|
||||
write!(
|
||||
writer,
|
||||
@@ -91,7 +91,7 @@ where
|
||||
// │
|
||||
// 2 │ (+ test "")
|
||||
// │ ^^ Expected integer but got string
|
||||
// │
|
||||
// ╵
|
||||
// ```
|
||||
|
||||
let start_line_span = file.line_span(start_line).expect("line_span");
|
||||
@@ -202,7 +202,7 @@ where
|
||||
writer.reset()?;
|
||||
|
||||
writer.set_color(&gutter_spec)?;
|
||||
write!(writer, "{: >width$} │", "", width = gutter_padding)?;
|
||||
write!(writer, "{: >width$} ╵", "", width = gutter_padding)?;
|
||||
write!(writer, "\n")?;
|
||||
writer.reset()?;
|
||||
},
|
||||
|
||||
Reference in New Issue
Block a user