fix: use more widely available box character for indent guides

The standard box chars are rendered properly in more terminals.
This commit is contained in:
CJ van den Berg 2024-10-15 10:49:47 +02:00
parent f631b672c4
commit 7b9a4fd586
Signed by: neurocyte
GPG key ID: 8EB1E1BB660E3FB9

View file

@ -1007,7 +1007,7 @@ pub const Editor = struct {
},
.indent => {
c.set_style(theme.editor_whitespace);
_ = n.cell_load(c, if (leading) if (buf_col % self.indent_size == 0) "" else " " else " ") catch {};
_ = n.cell_load(c, if (leading) if (buf_col % self.indent_size == 0) "" else " " else " ") catch {};
},
else => {
_ = n.cell_load(c, " ") catch {};