From b463622f059836dd02d8fab6d88db63263918c55 Mon Sep 17 00:00:00 2001
From: CJ van den Berg <cj@vdbonline.com>
Date: Fri, 10 Oct 2025 12:34:00 +0200
Subject: [PATCH] fix: allow Buffer.Manager.delete_buffer calls on dead buffers

---
 src/buffer/Manager.zig | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/buffer/Manager.zig b/src/buffer/Manager.zig
index 3594e69..6cb1d99 100644
--- a/src/buffer/Manager.zig
+++ b/src/buffer/Manager.zig
@@ -32,7 +32,8 @@ fn add_buffer(self: *Self, buffer: *Buffer) error{OutOfMemory}!void {
     try self.buffers.put(self.allocator, try self.allocator.dupe(u8, buffer.get_file_path()), buffer);
 }
 
-pub fn delete_buffer(self: *Self, buffer: *Buffer) void {
+pub fn delete_buffer(self: *Self, buffer_: *Buffer) void {
+    const buffer = self.buffer_from_ref(self.buffer_to_ref(buffer_)) orelse return; // check buffer is valid
     if (self.buffers.fetchRemove(buffer.get_file_path())) |kv| {
         self.allocator.free(kv.key);
         kv.value.deinit();