1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
use std::io::Write;
use ansi_term::Color;
use box_drawing;
use console::strip_ansi_codes;
use unicode_width::UnicodeWidthStr;
/// Write text to stream, surrounded by a box, leaving the cursor just
/// beyond the bottom right corner.
pub fn write_boxed(
writer: &mut dyn Write,
text: &str,
_line_width: usize, // ignored
color: Color,
heavy: bool,
) -> std::io::Result<()> {
let up_left = if heavy {
box_drawing::heavy::UP_LEFT
} else {
box_drawing::light::UP_LEFT
};
let box_width = UnicodeWidthStr::width(strip_ansi_codes(text).as_ref()) + 1;
write_boxed_partial(writer, text, box_width, color, heavy)?;
write!(writer, "{}", color.paint(up_left))?;
Ok(())
}
/// Write text to stream, surrounded by a box, and extend a line from
/// the bottom right corner.
pub fn write_boxed_with_line(
writer: &mut dyn Write,
text: &str,
line_width: usize,
color: Color,
heavy: bool,
) -> std::io::Result<()> {
let box_width = UnicodeWidthStr::width(strip_ansi_codes(text).as_ref()) + 1;
write_boxed_with_horizontal_whisker(writer, text, box_width, color, heavy)?;
write_horizontal_line(
writer,
if line_width > box_width {
line_width - box_width - 1
} else {
0
},
color,
heavy,
)?;
write!(writer, "\n")?;
Ok(())
}
pub fn write_underlined(
writer: &mut dyn Write,
text: &str,
line_width: usize,
color: Color,
heavy: bool,
) -> std::io::Result<()> {
writeln!(writer, "{}", color.paint(text))?;
write_horizontal_line(writer, line_width - 1, color, heavy)?;
write!(writer, "\n")?;
Ok(())
}
fn write_horizontal_line(
writer: &mut dyn Write,
line_width: usize,
color: Color,
heavy: bool,
) -> std::io::Result<()> {
let horizontal = if heavy {
box_drawing::heavy::HORIZONTAL
} else {
box_drawing::light::HORIZONTAL
};
write!(writer, "{}", color.paint(horizontal.repeat(line_width)))
}
pub fn write_boxed_with_horizontal_whisker(
writer: &mut dyn Write,
text: &str,
box_width: usize,
color: Color,
heavy: bool,
) -> std::io::Result<()> {
let up_horizontal = if heavy {
box_drawing::heavy::UP_HORIZONTAL
} else {
box_drawing::light::UP_HORIZONTAL
};
write_boxed_partial(writer, text, box_width, color, heavy)?;
write!(writer, "{}", color.paint(up_horizontal))?;
Ok(())
}
fn write_boxed_partial(
writer: &mut dyn Write,
text: &str,
box_width: usize,
color: Color,
heavy: bool,
) -> std::io::Result<()> {
let horizontal = if heavy {
box_drawing::heavy::HORIZONTAL
} else {
box_drawing::light::HORIZONTAL
};
let down_left = if heavy {
box_drawing::heavy::DOWN_LEFT
} else {
box_drawing::light::DOWN_LEFT
};
let vertical = if heavy {
box_drawing::heavy::VERTICAL
} else {
box_drawing::light::VERTICAL
};
let horizontal_edge = horizontal.repeat(box_width);
write!(
writer,
"{}{}\n{} {}\n{}",
color.paint(&horizontal_edge),
color.paint(down_left),
color.paint(text),
color.paint(vertical),
color.paint(&horizontal_edge),
)
}
|