From f225c9c045465d1a577a141eb3c7a7bff70cdac2 Mon Sep 17 00:00:00 2001
From: CJ van den Berg <cj@vdbonline.com>
Date: Thu, 6 Feb 2025 21:18:43 +0100
Subject: [PATCH] fix: zig-0.13 build of editor_gutter

---
 src/tui/editor_gutter.zig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tui/editor_gutter.zig b/src/tui/editor_gutter.zig
index cfe470b..1ae4d0d 100644
--- a/src/tui/editor_gutter.zig
+++ b/src/tui/editor_gutter.zig
@@ -426,7 +426,7 @@ fn int_width(n_: usize) usize {
 fn print_digits(self: *Self, n_: anytype, style_: DigitStyle) !void {
     var n = n_;
     var buf: [12][]const u8 = undefined;
-    var digits: std.ArrayListUnmanaged([]const u8) = .initBuffer(&buf);
+    var digits = std.ArrayListUnmanaged([]const u8).initBuffer(&buf);
     while (true) {
         digits.addOneAssumeCapacity().* = get_digit(n % 10, style_);
         n /= 10;