From 9c3482b899c36766788ab9f4d4420016c21f675e Mon Sep 17 00:00:00 2001 From: CJ van den Berg Date: Fri, 10 Oct 2025 12:55:31 +0200 Subject: [PATCH] fix: use create_scratch_buffer instead of open_scratch_buffer in dump_document_tree --- src/tui/editor.zig | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/tui/editor.zig b/src/tui/editor.zig index 617a4ff..aba1f92 100644 --- a/src/tui/editor.zig +++ b/src/tui/editor.zig @@ -4903,9 +4903,7 @@ pub const Editor = struct { scratch_name.writer.print("*ast: {s}*", .{file_path}) else scratch_name.writer.print("*ast*", .{}); - try command.executeName("open_scratch_buffer", command.fmt(.{ scratch_name.written(), ast.written(), "text" })); - tp.self_pid().send(.{ "cmd", "navigate", .{ .file = scratch_name.written() } }) catch return; - tp.self_pid().send(.{ "cmd", "set_file_type", .{"scheme"} }) catch return; + try command.executeName("create_scratch_buffer", command.fmt(.{ scratch_name.written(), ast.written(), "scheme" })); } pub const dump_document_tree_meta: Meta = .{ .description = "Debug: dump current document tree" };