From 7b9a4fd5869a4bec8eb26035923f3c15d75524f4 Mon Sep 17 00:00:00 2001
From: CJ van den Berg <cj@vdbonline.com>
Date: Tue, 15 Oct 2024 10:49:47 +0200
Subject: [PATCH] fix: use more widely available box character for indent
 guides

The standard box chars are rendered properly in more terminals.
---
 src/tui/editor.zig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tui/editor.zig b/src/tui/editor.zig
index b4c1fb5..9f3b2fc 100644
--- a/src/tui/editor.zig
+++ b/src/tui/editor.zig
@@ -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 {};